| Sat, 14 Nov 2009 18:16:13 +0100 |
wenzelm |
updated keywords;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:15:21 +0100 |
wenzelm |
generate keywords for Emacs Proof General only;
|
changeset |
files
|
| Sat, 14 Nov 2009 18:14:00 +0100 |
wenzelm |
dismantled remains of old jEdit plugin;
|
changeset |
files
|
| Sat, 14 Nov 2009 17:49:29 +0100 |
wenzelm |
isabelle_document: more explicit error output, notably for drafts;
|
changeset |
files
|
| Fri, 13 Nov 2009 16:10:04 -0800 |
huffman |
LocalTheory -> Local_Theory
|
changeset |
files
|
| Fri, 13 Nov 2009 15:40:06 -0800 |
huffman |
merged
|
changeset |
files
|
| Fri, 13 Nov 2009 15:31:20 -0800 |
huffman |
automate definition of representable domains from algebraic deflations
|
changeset |
files
|
| Fri, 13 Nov 2009 15:29:48 -0800 |
huffman |
cleaned up, removed unneeded call to Syntax.check_term
|
changeset |
files
|
| Fri, 13 Nov 2009 22:01:20 +0100 |
nipkow |
merged
|
changeset |
files
|
| Fri, 13 Nov 2009 22:01:01 +0100 |
nipkow |
moved lemma from Algebra/IntRing to Ring_and_Field
|
changeset |
files
|
| Fri, 13 Nov 2009 21:26:09 +0100 |
wenzelm |
merged
|
changeset |
files
|
| Fri, 13 Nov 2009 19:49:13 +0100 |
nipkow |
merged
|
changeset |
files
|
| Fri, 13 Nov 2009 19:48:32 +0100 |
nipkow |
-
|
changeset |
files
|
| Fri, 13 Nov 2009 21:24:15 +0100 |
wenzelm |
updated Local_Theory and Theory_Target;
|
changeset |
files
|