| 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
|
| Tue, 26 Sep 2023 12:30:08 +0200 |
wenzelm |
clarified signature: distinction of unmanaged vs. managed interrupts (not implemented yet);
|
file |
diff |
annotate
|
| Wed, 10 May 2023 16:05:14 +0200 |
wenzelm |
more operations;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 16:33:30 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Tue, 09 May 2023 16:31:08 +0200 |
wenzelm |
clarified signature;
|
file |
diff |
annotate
|
| Mon, 08 May 2023 23:30:58 +0200 |
wenzelm |
support for cached evaluation via weak_ref;
|
file |
diff |
annotate
|
| Mon, 08 May 2023 21:50:21 +0200 |
wenzelm |
more informative trace of context allocations;
|
file |
diff |
annotate
|
| Sat, 15 May 2021 17:40:36 +0200 |
wenzelm |
reactive "sledgehammer_filter": statically correct, but untested (no proof_file);
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 20:14:00 +0200 |
wenzelm |
proper signature for structure;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 14:00:23 +0200 |
wenzelm |
clarified bootstrap;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 17:16:30 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sat, 02 Apr 2016 20:33:34 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Thu, 03 Mar 2016 21:59:21 +0100 |
wenzelm |
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
|
file |
diff |
annotate
| base
|