| Tue, 22 Mar 2022 19:33:38 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Tue, 22 Mar 2022 19:19:09 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 23 Mar 2022 14:36:11 +0000 |
paulson |
... and removing Primrec from ROOT too
|
changeset |
files
|
| Wed, 23 Mar 2022 14:22:56 +0000 |
paulson |
Removal of the Primrec example in preparation for making it an AFP entry
|
changeset |
files
|
| Wed, 23 Mar 2022 10:54:22 +0100 |
desharna |
merged
|
changeset |
files
|
| Wed, 23 Feb 2022 08:43:44 +0100 |
desharna |
avoided recomputation in Cooper.djf and ran `isabelle regenerate_cooper`
|
changeset |
files
|
| Mon, 14 Mar 2022 07:12:48 +0100 |
Mathias Fleury |
split veriT reconstruction into Lethe and veriTÂ part
|
changeset |
files
|
| Tue, 22 Mar 2022 19:08:47 +0100 |
wenzelm |
clarified options;
|
changeset |
files
|
| Tue, 22 Mar 2022 18:56:28 +0100 |
wenzelm |
more robust errors -- on foreground process instead of background server;
|
changeset |
files
|
| Tue, 22 Mar 2022 18:52:27 +0100 |
wenzelm |
clarified options -l vs. -R;
|
changeset |
files
|
| Tue, 22 Mar 2022 18:12:58 +0100 |
wenzelm |
command-line arguments for "isabelle vscode", similar to "isabelle jedit";
|
changeset |
files
|
| Tue, 22 Mar 2022 16:49:18 +0100 |
wenzelm |
proper command-line tool;
|
changeset |
files
|