Packages

p

info.kwarc.mmt.odk

activecomp

package activecomp

Ordering
  1. Alphabetic
Visibility
  1. Public
  2. All

Type Members

  1. case class ACContext(values: Map[GlobalName, String]) extends Product with Serializable
  2. class NotEnoughValues extends Exception

    Exception that is thrown when not enough values are available

  3. class Plugin extends ServerExtension
  4. sealed abstract class activeComputation extends AnyRef
  5. case class Evaluation() extends activeComputation with Product with Serializable

    An evaluation combination

    An evaluation combination

    Annotations
    @MMT_TODO( message = ... )
    Deprecated

    We should remove this in favor of the Jupyter stuff

Value Members

  1. object ACContext extends Serializable
  2. object EMEPaths
  3. object activeComputation

Ungrouped