Thu, 05 Sep 2024 17:39:45 +0200 | wenzelm | clarified signature: type ML_Pretty.pretty coincides with PolyML.pretty; | file | diff | annotate |
Tue, 09 Jan 2024 11:54:36 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Wed, 11 Oct 2023 11:27:01 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Tue, 26 Sep 2023 14:42:33 +0200 | wenzelm | clarified signature; | file | diff | annotate |
Tue, 26 Sep 2023 12:46:31 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Thu, 21 Sep 2023 23:45:03 +0200 | wenzelm | clarified modules; | file | diff | annotate |
Wed, 06 Sep 2023 20:51:28 +0200 | wenzelm | clarified signature: retain original Poly/ML names Thread.Thread, Thread.Mutex, Thread.ConditionVar and de-emphasize them for Isabelle/ML; | file | diff | annotate |
Wed, 06 Sep 2023 14:09:27 +0200 | wenzelm | more explicit type Isabelle_Thread.T; | file | diff | annotate |