| Sat, 22 Aug 2020 23:11:48 +0200 |
wenzelm |
avoid odd PIDE markup, notably in kokodi input;
|
changeset |
files
|
| Sat, 22 Aug 2020 20:37:31 +0200 |
wenzelm |
clarified names;
|
changeset |
files
|
| Sat, 22 Aug 2020 20:32:44 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 22 Aug 2020 20:09:11 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sat, 22 Aug 2020 14:56:33 +0200 |
wenzelm |
proper treatment of timeout: <= 0 means already timed out, but for $KODKODI/bin/kodkodi it would mean NO timeout;
|
changeset |
files
|
| Sat, 22 Aug 2020 14:48:00 +0200 |
wenzelm |
proper treatment of absolute deadline vs. relative timeout;
|
changeset |
files
|
| Sat, 22 Aug 2020 13:55:42 +0200 |
wenzelm |
clarified session: no parent image for minor theory imports;
|
changeset |
files
|
| Sat, 22 Aug 2020 13:21:58 +0200 |
wenzelm |
removed obsolete created_temp_dir: ISABELLE_TMP is always present for the running Isabelle/ML process;
|
changeset |
files
|
| Fri, 21 Aug 2020 18:59:30 +0000 |
haftmann |
more lemmas
|
changeset |
files
|
| Fri, 21 Aug 2020 18:59:29 +0000 |
haftmann |
proper syntax declaration
|
changeset |
files
|
| Fri, 21 Aug 2020 12:43:07 +0100 |
paulson |
merged
|
changeset |
files
|
| Fri, 21 Aug 2020 12:42:57 +0100 |
paulson |
reversing all the lex crap
|
changeset |
files
|
| Thu, 20 Aug 2020 21:56:28 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Thu, 20 Aug 2020 16:00:59 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 20 Aug 2020 16:00:50 +0200 |
wenzelm |
preload library;
|
changeset |
files
|
| Thu, 20 Aug 2020 15:45:22 +0200 |
wenzelm |
update to kodkodi-1.5.4-1;
|
changeset |
files
|