| Mon, 06 Sep 2010 22:08:49 +0200 |
wenzelm |
ML_Context.thm and ML_Context.thms no longer pervasive;
|
changeset |
files
|
| Mon, 06 Sep 2010 21:33:19 +0200 |
wenzelm |
more explicit indication of Config.raw options, which are only needed for bootstrapping Pure;
|
changeset |
files
|
| Mon, 06 Sep 2010 19:23:54 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Mon, 06 Sep 2010 15:01:37 +0200 |
hoelzl |
When comparing Floats use integers instead of reals (represented as rationals), generates less code when Floats are used.
|
changeset |
files
|
| Mon, 06 Sep 2010 19:23:35 +0200 |
wenzelm |
isatest: back to polyml-5.3.0 due to unresolved stability issues of polyml-5.4.0 and HOL/Decision_Procs/Approximation_Ex.thy;
|
changeset |
files
|
| Mon, 06 Sep 2010 19:13:10 +0200 |
wenzelm |
more antiquotations;
|
changeset |
files
|
| Mon, 06 Sep 2010 19:11:01 +0200 |
wenzelm |
ML_Context.thm;
|
changeset |
files
|
| Mon, 06 Sep 2010 14:18:16 +0200 |
wenzelm |
more explicit HOL-Proofs sessions, including former ex/Hilbert_Classical.thy which works in parallel mode without the antiquotation option "margin" (which is still critical);
|
changeset |
files
|
| Mon, 06 Sep 2010 13:22:11 +0200 |
wenzelm |
modernized session ROOT setup;
|
changeset |
files
|
| Mon, 06 Sep 2010 13:06:27 +0200 |
wenzelm |
some results of concurrency code inspection;
|
changeset |
files
|
| Mon, 06 Sep 2010 12:38:45 +0200 |
wenzelm |
merged;
|
changeset |
files
|
| Mon, 06 Sep 2010 11:53:42 +0200 |
blanchet |
mention ~/.isabelle/etc/settings file
|
changeset |
files
|