| 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
|
| Mon, 06 Sep 2010 11:28:06 +0200 |
blanchet |
make remote ATP invocation work for those people who need to go through a proxy;
|
changeset |
files
|
| Sun, 05 Sep 2010 21:39:30 +0200 |
krauss |
enabled do notation for option type
|
changeset |
files
|
| Sun, 05 Sep 2010 21:39:24 +0200 |
krauss |
removed duplicate lemma
|
changeset |
files
|
| Sun, 05 Sep 2010 21:39:16 +0200 |
krauss |
added Option.bind
|
changeset |
files
|
| Sat, 04 Sep 2010 21:14:40 +0200 |
haftmann |
merged
|
changeset |
files
|