| 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
|
| Sat, 04 Sep 2010 21:13:13 +0200 |
haftmann |
printing combinator for hierarchical programs
|
changeset |
files
|
| Sat, 04 Sep 2010 21:12:42 +0200 |
haftmann |
merged
|
changeset |
files
|
| Sat, 04 Sep 2010 08:32:19 -0700 |
huffman |
add lemma cont2cont_Let_simple
|
changeset |
files
|
| Sat, 04 Sep 2010 07:35:56 -0700 |
huffman |
add lemma cont2cont_split_simple
|
changeset |
files
|
| Sat, 04 Sep 2010 07:26:34 -0700 |
huffman |
add List_Cpo.thy to HOLCF/Library
|
changeset |
files
|
| Sat, 04 Sep 2010 21:10:48 +0200 |
haftmann |
dropped names from serializer interface
|
changeset |
files
|
| Sat, 04 Sep 2010 21:10:39 +0200 |
haftmann |
added more explicit warning
|
changeset |
files
|
| Mon, 06 Sep 2010 00:08:47 +0200 |
wenzelm |
ML_Context.ml_store_thm(s): operate on thread context instead of Unsynchronized.ref;
|
changeset |
files
|
| Sun, 05 Sep 2010 23:31:12 +0200 |
wenzelm |
use setmp_noncritical for PGIP, which is presumably sequential (PG clone);
|
changeset |
files
|
| Sun, 05 Sep 2010 23:26:16 +0200 |
wenzelm |
use setmp_noncritical for sequential Pure bootstrap;
|
changeset |
files
|
| Sun, 05 Sep 2010 23:16:21 +0200 |
wenzelm |
turned show_brackets into proper configuration option;
|
changeset |
files
|
| Sun, 05 Sep 2010 22:23:48 +0200 |
wenzelm |
Syntax.standard_parse_term: eliminated redundant Pretty.pp;
|
changeset |
files
|
| Sun, 05 Sep 2010 22:15:50 +0200 |
wenzelm |
structure Syntax: define "interfaces" before actual implementations;
|
changeset |
files
|
| Sun, 05 Sep 2010 21:41:24 +0200 |
wenzelm |
turned show_sorts/show_types into proper configuration options;
|
changeset |
files
|
| Sun, 05 Sep 2010 19:47:40 +0200 |
wenzelm |
pretty printing: prefer regular Proof.context over Pretty.pp, which is mostly for special bootstrap purposes involving theory merge, for example;
|
changeset |
files
|
| Sat, 04 Sep 2010 22:36:42 +0200 |
wenzelm |
refined treatment of multi-line subexpressions;
|
changeset |
files
|
| Sat, 04 Sep 2010 22:00:25 +0200 |
wenzelm |
basic support for subexpression highlighting (see also gatchan.jedit.hyperlinks.HyperlinkManager/HyperlinkTextAreaPainter);
|
changeset |
files
|
| Sat, 04 Sep 2010 00:59:03 +0200 |
wenzelm |
updated configuration options;
|
changeset |
files
|