| Thu, 28 Aug 2008 00:33:04 +0200 |
wenzelm |
removed obsolete ProofGeneral/pgml_isabelle.ML;
|
file |
diff |
annotate
|
| Sat, 10 Nov 2007 15:58:18 +0100 |
wenzelm |
ProofGeneral/preferences: auto_quickcheck=true;
|
file |
diff |
annotate
|
| Sun, 04 Nov 2007 17:12:14 +0100 |
wenzelm |
removed obsolete ProofGeneral/parsing.ML;
|
file |
diff |
annotate
|
| Mon, 29 Oct 2007 16:13:41 +0100 |
wenzelm |
qualified Proofterm.proofs;
|
file |
diff |
annotate
|
| Wed, 05 Sep 2007 21:09:11 +0200 |
wenzelm |
use preferences.ML: do setmp *here*, to capture intended default values;
|
file |
diff |
annotate
|
| Thu, 12 Jul 2007 00:15:26 +0200 |
wenzelm |
added ProofGeneral/pgip_parser.ML;
|
file |
diff |
annotate
|
| Fri, 06 Jul 2007 17:52:52 +0200 |
aspinall |
Produce good PGML 2.0
|
file |
diff |
annotate
|
| Wed, 04 Jul 2007 21:19:34 +0200 |
aspinall |
Use pgml
|
file |
diff |
annotate
|
| Fri, 29 Dec 2006 18:46:04 +0100 |
wenzelm |
added proper header;
|
file |
diff |
annotate
|
| Sun, 17 Dec 2006 22:43:50 +0100 |
aspinall |
Add abstraction for objtypes and documents.
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 22:12:08 +0100 |
aspinall |
Add separate PG Emacs configuration
|
file |
diff |
annotate
|
| Mon, 04 Dec 2006 20:40:11 +0100 |
aspinall |
Revamped Proof General interface.
|
file |
diff |
annotate
|