From 545fe4e66c4a50beeb1f01137ad646e668beba05 Mon Sep 17 00:00:00 2001 From: Dominique Unruh Date: Mon, 25 Sep 2023 17:49:31 +0300 Subject: [PATCH] CHANGELOG: changed links from `latest/` to `0.4.2/`. --- CHANGELOG.md | 56 ++++++++++++++++++++++++++-------------------------- 1 file changed, 28 insertions(+), 28 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 24eeeba..11d64e8 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,47 +1,47 @@ # Changelog -## [0.4.2] - ??? +## [0.4.2] - 2023-09-25 The main change is support for Isabelle2023. ### Added * Support for [Isabelle2023](https://isabelle.in.tum.de/website-Isabelle2023/). -* [`Position`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html): - New methods [`line`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#line(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[Int]), - [`offset`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#offset(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[Int]), - [`endOffset`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#endOffset(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[Int]), - [`file`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#file(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[String]), - [`id`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#id(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[String]) +* [`Position`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html): + New methods [`line`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#line(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[Int]), + [`offset`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#offset(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[Int]), + [`endOffset`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#endOffset(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[Int]), + [`file`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#file(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[String]), + [`id`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#id(implicitisabelle:de.unruh.isabelle.control.Isabelle):Option[String]) to access the corresponding fields in the ML-type. - [`extract`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#extract(text:String)(implicitisabelle:de.unruh.isabelle.control.Isabelle):String), - [`extractUntil`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Position.html#extractUntil(end:de.unruh.isabelle.pure.Position,text:String)(implicitisabelle:de.unruh.isabelle.control.Isabelle):String) + [`extract`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#extract(text:String)(implicitisabelle:de.unruh.isabelle.control.Isabelle):String), + [`extractUntil`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Position.html#extractUntil(end:de.unruh.isabelle.pure.Position,text:String)(implicitisabelle:de.unruh.isabelle.control.Isabelle):String) to extract text from a string given position(s). -* [`TheoryHeader`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/TheoryHeader.html): - New method [`name`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/TheoryHeader.html#name(implicitisabelle:de.unruh.isabelle.control.Isabelle):String) - to get the name of the theory. [`read`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/TheoryHeader$.html#read(text:String)(implicitisabelle:de.unruh.isabelle.control.Isabelle):de.unruh.isabelle.pure.TheoryHeader) +* [`TheoryHeader`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/TheoryHeader.html): + New method [`name`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/TheoryHeader.html#name(implicitisabelle:de.unruh.isabelle.control.Isabelle):String) + to get the name of the theory. [`read`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/TheoryHeader$.html#read(text:String)(implicitisabelle:de.unruh.isabelle.control.Isabelle):de.unruh.isabelle.pure.TheoryHeader) to parse a theory from a string. -* [`ToplevelState`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState.html): - New methods [`proofLevel`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState.html#proofLevel(implicitisabelle:de.unruh.isabelle.control.Isabelle):Int), - [`mode`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState.html#mode(implicitisabelle:de.unruh.isabelle.control.Isabelle):de.unruh.isabelle.pure.ToplevelState.Modes.Mode), - [`isProofMode`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState.html#isProofMode(implicitisabelle:de.unruh.isabelle.control.Isabelle):Boolean) - etc., [`proofStateDescription`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState.html#proofStateDescription(implicitisabelle:de.unruh.isabelle.control.Isabelle):String), - [`localTheoryDescription`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState.html#localTheoryDescription(implicitisabelle:de.unruh.isabelle.control.Isabelle):String). - [`ToplevelState()`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/ToplevelState$.html#apply()(implicitisabelle:de.unruh.isabelle.control.Isabelle):de.unruh.isabelle.pure.ToplevelState) creates a toplevel based on `Pure`. -* [`Transition`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/pure/Transition.html): +* [`ToplevelState`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState.html): + New methods [`proofLevel`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState.html#proofLevel(implicitisabelle:de.unruh.isabelle.control.Isabelle):Int), + [`mode`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState.html#mode(implicitisabelle:de.unruh.isabelle.control.Isabelle):de.unruh.isabelle.pure.ToplevelState.Modes.Mode), + [`isProofMode`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState.html#isProofMode(implicitisabelle:de.unruh.isabelle.control.Isabelle):Boolean) + etc., [`proofStateDescription`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState.html#proofStateDescription(implicitisabelle:de.unruh.isabelle.control.Isabelle):String), + [`localTheoryDescription`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState.html#localTheoryDescription(implicitisabelle:de.unruh.isabelle.control.Isabelle):String). + [`ToplevelState()`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/ToplevelState$.html#apply()(implicitisabelle:de.unruh.isabelle.control.Isabelle):de.unruh.isabelle.pure.ToplevelState) creates a toplevel based on `Pure`. +* [`Transition`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/pure/Transition.html): New Scala class. Represents A toplevel transition (roughly speaking one command in a theory file). -* [`JIsabelle`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/java/JIsabelle$.html): - New methods [`setupSetVerbose`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/java/JIsabelle$.html#setupSetVerbose(verbose:Boolean,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), - [`setupSetUserDir`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/java/JIsabelle$.html#setupSetUserDir(userDir:java.nio.file.Path,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), - [`setupSetWorkingDirectory`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/java/JIsabelle$.html#setupSetWorkingDirectory(workingDirectory:java.nio.file.Path,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), - [`setupSetSessionRoots`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/java/JIsabelle$.html#setupSetSessionRoots(sessionRoots:Iterable[java.nio.file.Path],setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), - [`setupSetLogic`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/java/JIsabelle$.html#setupSetLogic(verbose:String,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup) - to set the corresponding fields in a [`Setup`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/control/Isabelle$$Setup.html) +* [`JIsabelle`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/java/JIsabelle$.html): + New methods [`setupSetVerbose`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/java/JIsabelle$.html#setupSetVerbose(verbose:Boolean,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), + [`setupSetUserDir`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/java/JIsabelle$.html#setupSetUserDir(userDir:java.nio.file.Path,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), + [`setupSetWorkingDirectory`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/java/JIsabelle$.html#setupSetWorkingDirectory(workingDirectory:java.nio.file.Path,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), + [`setupSetSessionRoots`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/java/JIsabelle$.html#setupSetSessionRoots(sessionRoots:Iterable[java.nio.file.Path],setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup), + [`setupSetLogic`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/java/JIsabelle$.html#setupSetLogic(verbose:String,setup:de.unruh.isabelle.control.Isabelle.Setup):de.unruh.isabelle.control.Isabelle.Setup) + to set the corresponding fields in a [`Setup`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/control/Isabelle$$Setup.html) object from Java. ### Changed -* [`Isabelle`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/control/Isabelle.html): Execution context is stored inside `Isabelle` instance, and configured via `[Setup](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/latest/de/unruh/isabelle/control/Isabelle$$Setup.html).executionContext`. +* [`Isabelle`](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/control/Isabelle.html): Execution context is stored inside `Isabelle` instance, and configured via `[Setup](https://javadoc.io/doc/de.unruh/scala-isabelle_2.13/0.4.2/de/unruh/isabelle/control/Isabelle$$Setup.html).executionContext`. Most `scala-isabelle` methods now use that execution context. ### Removed