| Sat, 05 Mar 2016 13:25:41 +0100 |
wenzelm |
avoid spam in position reports;
|
changeset |
files
|
| Sat, 05 Mar 2016 12:49:47 +0100 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Fri, 26 Feb 2016 22:38:44 +0100 |
wenzelm |
take qualification of type name more seriously: derived consts and facts are qualified uniformly;
|
changeset |
files
|
| Thu, 03 Mar 2016 23:33:41 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 03 Mar 2016 23:33:22 +0100 |
wenzelm |
simplified;
|
changeset |
files
|
| Thu, 03 Mar 2016 22:24:58 +0100 |
wenzelm |
obsolete;
|
changeset |
files
|
| Thu, 03 Mar 2016 22:16:52 +0100 |
wenzelm |
isabelle console -r" helps to bootstrap Isabelle/Pure;
|
changeset |
files
|
| 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
|