| Sat, 19 Sep 2015 21:09:38 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Tue, 15 Sep 2015 11:18:25 +0200 |
lammich |
Omega_Words_Fun: Infinite words as functions from nat.
|
file |
diff |
annotate
|
| Mon, 14 Sep 2015 17:39:29 +0200 |
wenzelm |
replacement character for spaces;
|
file |
diff |
annotate
|
| Mon, 14 Sep 2015 16:44:09 +0200 |
wenzelm |
single-instance application, even on Linux;
|
file |
diff |
annotate
|
| Mon, 14 Sep 2015 16:06:32 +0200 |
wenzelm |
added isabelle jedit_client;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2015 20:20:16 +0200 |
wenzelm |
renamed method "goals" to "goal_cases" to emphasize its meaning;
|
file |
diff |
annotate
|
| Fri, 11 Sep 2015 17:57:34 +0200 |
wenzelm |
convenient change of ML system architecture via system option ML_preference_64, which is grepped off-line from stored preferences during bootstrap;
|
file |
diff |
annotate
|
| Thu, 10 Sep 2015 11:59:12 +0200 |
haftmann |
dropped redundant NEWS
|
file |
diff |
annotate
|
| Wed, 09 Sep 2015 20:57:21 +0200 |
wenzelm |
simplified simproc programming interfaces;
|
file |
diff |
annotate
|
| Wed, 09 Sep 2015 14:47:41 +0200 |
wenzelm |
eliminated \<Colon> from syntax of constraints;
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 17:34:46 +0200 |
wenzelm |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
file |
diff |
annotate
|
| Tue, 08 Sep 2015 15:37:13 +0200 |
wenzelm |
clarified Java runtime options for 32 vs. 64 bit;
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 22:14:51 +0200 |
haftmann |
obsolete: if case_prod is fully applied, it is printed as proper case expression;
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 22:14:51 +0200 |
haftmann |
prefer "uncurry" as canonical name for case distinction on products in combinatorial view
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 21:55:13 +0200 |
wenzelm |
do not expose low-level "_def" facts of 'function' definitions, to avoid potential confusion with the situation of plain 'definition';
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 14:51:49 +0200 |
wenzelm |
removed obsolete theory Legacy_Mrec;
|
file |
diff |
annotate
|
| Sun, 06 Sep 2015 13:37:18 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Mon, 31 Aug 2015 22:45:40 +0200 |
wenzelm |
support x86_64-windows;
|
file |
diff |
annotate
|
| Mon, 31 Aug 2015 21:01:21 +0200 |
wenzelm |
prefer symbols;
|
file |
diff |
annotate
|
| Fri, 28 Aug 2015 16:48:05 +0200 |
blanchet |
eliminated obsolete environment variable
|
file |
diff |
annotate
|
| Thu, 27 Aug 2015 20:16:07 +0200 |
blanchet |
robust handling of Vampire 4 proofs
|
file |
diff |
annotate
|
| Thu, 27 Aug 2015 20:10:40 +0200 |
blanchet |
reverted 6ac3172985d4 -- the old URL has been restored
|
file |
diff |
annotate
|
| Fri, 21 Aug 2015 16:47:57 +0200 |
wenzelm |
updated to jdk-8u60, with support for x86_64-windows;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 17:39:07 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 14:31:09 +0200 |
wenzelm |
NEWS;
|
file |
diff |
annotate
|
| Thu, 20 Aug 2015 14:13:00 +0200 |
wenzelm |
updated to polyml-5.5.3-20150820, with native x86-windows support;
|
file |
diff |
annotate
|
| Thu, 13 Aug 2015 11:14:16 +0200 |
traytel |
tuned NEWS
|
file |
diff |
annotate
|
| Wed, 12 Aug 2015 20:46:33 +0200 |
traytel |
NEWS, CONTRIBUTORS, documentation for lift_bnf
|
file |
diff |
annotate
|
| Sat, 08 Aug 2015 10:51:33 +0200 |
haftmann |
direct bootstrap of integer division from natural division
|
file |
diff |
annotate
|
| Tue, 04 Aug 2015 23:11:16 +0200 |
wenzelm |
eliminated clone;
|
file |
diff |
annotate
|