| Wed, 06 Dec 2017 18:59:33 +0100 |
wenzelm |
prefer control symbol antiquotations;
|
file |
diff |
annotate
|
| Wed, 29 Nov 2017 10:27:56 +0100 |
wenzelm |
clarified dependencies: "isabelle build -S" should be invariant wrt. change of ML system or platform;
|
file |
diff |
annotate
|
| Fri, 21 Oct 2016 11:19:15 +0200 |
wenzelm |
proper type for Poly/ML development version;
|
file |
diff |
annotate
|
| Thu, 02 Jun 2016 15:52:45 +0200 |
wenzelm |
avoid stateful operations in virtual bootstrap, which presumably causes occasional crash of drule.ML due to inner syntax pp;
|
file |
diff |
annotate
|
| Sun, 10 Apr 2016 21:46:12 +0200 |
wenzelm |
more standard session build process, including browser_info;
|
file |
diff |
annotate
|
| Sat, 09 Apr 2016 16:16:05 +0200 |
wenzelm |
shared output primitives of physical/virtual Pure;
|
file |
diff |
annotate
|
| Thu, 07 Apr 2016 16:53:43 +0200 |
wenzelm |
more conventional theory syntax for ML bootstrap, with 'ML_file' instead of 'use';
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 19:03:29 +0200 |
wenzelm |
virtual thread data via context, for proper support of Context.>> etc;
|
file |
diff |
annotate
|
| Wed, 06 Apr 2016 14:02:12 +0200 |
wenzelm |
clarified ML bootstrap environment;
|
file |
diff |
annotate
| base
|