Package

info.hupel

isabelle

Permalink

package isabelle

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. isabelle
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type HTML = TypedTag[String]

    Permalink

  2. type Program[A] = Free[Instruction, A]

    Permalink

  3. type XMLResult[+A] = Either[(String, Body), A]

    Permalink

Value Members

  1. implicit def cancelableFutureMonad(implicit ec: ExecutionContext): Monad[CancelableFuture]

    Permalink

  2. package japi

    Permalink

  3. package setup

    Permalink

    Tools for setting up an Isabelle installation and managing Isabelle sources and environments at runtime.

    Tools for setting up an Isabelle installation and managing Isabelle sources and environments at runtime. Most functions in this package have some effect on the local file system and may download content from the Internet.

Inherited from AnyRef

Inherited from Any

Ungrouped