| Sat, 02 Dec 2023 20:49:50 +0000 |
haftmann |
compactified specification of type class parity
|
file |
diff |
annotate
|
| Sat, 25 Nov 2023 16:49:48 +0100 |
wenzelm |
removed obsolete/broken isabelle_scala_script wrapper (see also abf9fcfa65cf);
|
file |
diff |
annotate
|
| Sat, 25 Nov 2023 16:13:08 +0100 |
wenzelm |
provide src/Tools/Demo as example for system component with Isabelle/Scala tool;
|
file |
diff |
annotate
|
| Mon, 20 Nov 2023 22:17:42 +0100 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 13 Nov 2023 09:02:56 +0100 |
desharna |
NEWS
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 17:44:03 +0000 |
haftmann |
more specific name for type class
|
file |
diff |
annotate
|
| Sat, 11 Nov 2023 21:08:21 +0100 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Thu, 09 Nov 2023 15:11:52 +0000 |
haftmann |
slightly less technical formulation of very specific type class
|
file |
diff |
annotate
|
| Thu, 09 Nov 2023 15:11:51 +0000 |
haftmann |
explicit type class for discrete linordered semidoms
|
file |
diff |
annotate
|
| Thu, 26 Oct 2023 17:53:22 +0200 |
Fabian Huch |
NEWS and CONTRIBUTORS;
|
file |
diff |
annotate
|
| Sun, 22 Oct 2023 15:25:08 +0200 |
wenzelm |
update documentation on simproc_setup;
|
file |
diff |
annotate
|
| Sun, 22 Oct 2023 12:18:23 +0200 |
wenzelm |
proper morphism;
|
file |
diff |
annotate
|
| Sat, 21 Oct 2023 21:19:02 +0200 |
wenzelm |
simprocs may be distinguished via 'identifier': only works for ML antiquotation (see also 13252110a6fe);
|
file |
diff |
annotate
|
| Fri, 20 Oct 2023 22:19:05 +0200 |
wenzelm |
added ML antiquotation "simproc_setup";
|
file |
diff |
annotate
|
| Sun, 15 Oct 2023 14:22:37 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 20:50:25 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Sat, 14 Oct 2023 20:48:12 +0200 |
wenzelm |
tuned structure;
|
file |
diff |
annotate
|
| Thu, 12 Oct 2023 10:56:45 +0200 |
wenzelm |
distinguish proper interrupts from Poly/ML RTS breakdown;
|
file |
diff |
annotate
|
| Mon, 02 Oct 2023 11:28:23 +0200 |
desharna |
NEWS
|
file |
diff |
annotate
|
| Fri, 29 Sep 2023 11:19:19 +0200 |
wenzelm |
more NEWS;
|
file |
diff |
annotate
|
| Thu, 28 Sep 2023 20:07:30 +0200 |
wenzelm |
explicitly reject 'handle' with catch-all patterns;
|
file |
diff |
annotate
|
| Wed, 30 Aug 2023 21:34:53 +0200 |
wenzelm |
tuned NEWS;
|
file |
diff |
annotate
|
| Wed, 30 Aug 2023 21:18:52 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Sun, 27 Aug 2023 19:14:04 +0200 |
wenzelm |
merged
|
file |
diff |
annotate
|
| Sun, 27 Aug 2023 15:28:48 +0200 |
wenzelm |
minimal documentation for build cluster support;
|
file |
diff |
annotate
|
| Sun, 13 Aug 2023 19:27:58 +0200 |
wenzelm |
clarified command arguments: optionally restrict to given theories (from theory loader);
|
file |
diff |
annotate
|
| Sun, 13 Aug 2023 17:50:31 +0200 |
wenzelm |
added Isar command 'print_context_tracing';
|
file |
diff |
annotate
|
| Thu, 10 Aug 2023 23:11:52 +0200 |
wenzelm |
back to post-release mode -- after fork point;
|
file |
diff |
annotate
|
| Sun, 06 Aug 2023 23:44:50 +0200 |
wenzelm |
update to polyml-219e0a248f70, with more robust support for ARM64;
|
file |
diff |
annotate
|
| Wed, 26 Jul 2023 20:15:31 +0200 |
wenzelm |
prefer Output.writeln for theory "results", as opposed to Output.state for genuine proof states (see f8c412a45af8, c668735fb8b5, ecf80e37ed1a);
|
file |
diff |
annotate
|