| Thu, 03 Mar 2016 21:59:21 +0100 |
wenzelm |
discontinued RAW session: bootstrap directly from isabelle_process RAW_ML_SYSTEM;
|
changeset |
files
|
| Thu, 03 Mar 2016 21:35:16 +0100 |
wenzelm |
proper return code (cf. faa452d8e265);
|
changeset |
files
|
| Thu, 03 Mar 2016 21:30:31 +0100 |
wenzelm |
clarified isabelle_process;
|
changeset |
files
|
| Thu, 03 Mar 2016 15:23:02 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 03 Mar 2016 14:03:06 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 03 Mar 2016 11:59:03 +0100 |
wenzelm |
clarified modules;
|
changeset |
files
|
| Thu, 03 Mar 2016 11:54:51 +0100 |
wenzelm |
removed junk;
|
changeset |
files
|
| Thu, 03 Mar 2016 11:12:02 +0100 |
wenzelm |
discontinued polyml-5.3.0;
|
changeset |
files
|
| Thu, 03 Mar 2016 17:03:09 +0100 |
blanchet |
made Nitpick more robust
|
changeset |
files
|
| Thu, 03 Mar 2016 08:33:55 +0100 |
haftmann |
constructive formulation of factorization
|
changeset |
files
|
| Wed, 02 Mar 2016 19:43:31 +0100 |
wenzelm |
support for ML_exception_debugger;
|
changeset |
files
|
| Wed, 02 Mar 2016 10:02:12 +0100 |
traytel |
respect qualification when noting theorems in prim(co)rec
|
changeset |
files
|
| Wed, 02 Mar 2016 10:01:31 +0100 |
nipkow |
added invariant proofs to AA trees
|
changeset |
files
|
| Tue, 01 Mar 2016 22:49:33 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|