| Fri, 17 May 2019 10:38:01 +0200 |
Norbert Schirmer |
prefer cartouches over " in ML antiquotations
|
file |
diff |
annotate
|
| Thu, 16 May 2019 19:56:12 +0200 |
Norbert Schirmer |
tuned ML-antiquotations; added intro portions.
|
file |
diff |
annotate
|
| Tue, 14 May 2019 17:45:13 +0200 |
Norbert Schirmer |
tuned parser for patterns in ML_response... antiquotations
|
file |
diff |
annotate
|
| Tue, 14 May 2019 17:10:47 +0200 |
Norbert Schirmer |
isabelle update_cartouches -t
|
file |
diff |
annotate
|
| Tue, 14 May 2019 16:59:53 +0200 |
Norbert Schirmer |
tuned parsing in document antiquotations for ML
|
file |
diff |
annotate
|
| Tue, 14 May 2019 11:10:53 +0200 |
Norbert Schirmer |
Accomodate to Isabelle 2018
|
file |
diff |
annotate
|
| Wed, 15 Oct 2014 23:12:54 +0100 |
Christian Urban |
improvements by Piotr Trojanek
|
file |
diff |
annotate
|
| Tue, 08 Jul 2014 11:34:10 +0100 |
Christian Urban |
updated for Isabelle 2014
|
file |
diff |
annotate
|
| Thu, 03 Apr 2014 12:16:56 +0100 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 17:16:49 +0000 |
Christian Urban |
updated to changes in Isabelle
|
file |
diff |
annotate
|
| Tue, 28 May 2013 23:26:18 +0100 |
Christian Urban |
updated to Isabelle changes
|
file |
diff |
annotate
|
| Fri, 19 Apr 2013 11:09:18 +0100 |
Christian Urban |
updated to simplifier change
|
file |
diff |
annotate
|
| Thu, 04 Oct 2012 13:00:31 +0100 |
Christian Urban |
removed "use" for "ML_file"
|
file |
diff |
annotate
|
| Mon, 30 Apr 2012 14:43:52 +0100 |
Christian Urban |
removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
|
file |
diff |
annotate
|
| Fri, 25 Nov 2011 00:27:05 +0000 |
Christian Urban |
merged
|
file |
diff |
annotate
|
| Thu, 24 Nov 2011 19:54:01 +0000 |
Christian Urban |
updated to Isabelle 24 November
|
file |
diff |
annotate
|
| Thu, 17 Nov 2011 16:33:49 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Sat, 12 Nov 2011 11:45:39 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Mon, 07 Nov 2011 16:13:26 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Fri, 04 Nov 2011 09:29:50 +0000 |
Christian Urban |
more material
|
file |
diff |
annotate
|
| Thu, 03 Nov 2011 17:53:36 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Wed, 02 Nov 2011 13:38:19 +0000 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
| Sun, 30 Oct 2011 17:45:10 +0000 |
Christian Urban |
updated
|
file |
diff |
annotate
|
| Sat, 29 Oct 2011 12:17:06 +0100 |
Christian Urban |
test
|
file |
diff |
annotate
|
| Sat, 29 Oct 2011 13:17:12 +0100 |
Christian Urban |
a few things added First_Steps
|
file |
diff |
annotate
|
| Thu, 27 Oct 2011 18:11:52 +0100 |
Christian Urban |
some tests
|
file |
diff |
annotate
|
| Wed, 26 Oct 2011 13:19:09 +0100 |
Christian Urban |
merged
|
file |
diff |
annotate
|
| Wed, 26 Oct 2011 13:18:51 +0100 |
Christian Urban |
minor things
|
file |
diff |
annotate
|
| Wed, 26 Oct 2011 12:59:44 +0100 |
Christian Urban |
updated to post-2011-1 Isabelle
|
file |
diff |
annotate
|
| Wed, 19 Oct 2011 21:57:22 +0100 |
Christian Urban |
a few things updated
|
file |
diff |
annotate
|
| Tue, 28 Jun 2011 09:22:00 +0100 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Mon, 20 Jun 2011 13:59:58 +0100 |
Christian Urban |
more polishing
|
file |
diff |
annotate
|
| Mon, 20 Jun 2011 00:30:32 +0100 |
Christian Urban |
soem polishing
|
file |
diff |
annotate
|
| Fri, 17 Jun 2011 16:58:05 +0100 |
Christian Urban |
a little polishing
|
file |
diff |
annotate
|
| Tue, 17 May 2011 18:11:21 +0100 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Wed, 23 Feb 2011 23:55:37 +0000 |
Christian Urban |
updated to post-2011 Isabelle
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 13:10:33 +0200 |
griff |
tracing_fn was moved to Output.Private_Hooks
|
file |
diff |
annotate
|
| Fri, 29 Oct 2010 11:00:37 +0100 |
Christian Urban |
disabled foobar_prove; updated to new Isabelle
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 13:37:25 +0800 |
Christian Urban |
a bit closer to the new conventions of naming HOL-constants
|
file |
diff |
annotate
|
| Fri, 13 Aug 2010 18:42:58 +0800 |
Christian Urban |
added an example to be used for conversions later on
|
file |
diff |
annotate
|
| Wed, 28 Jul 2010 19:09:49 +0200 |
Christian Urban |
test
|
file |
diff |
annotate
| base
|