| Wed, 22 May 2019 13:24:30 +0200 |
Norbert Schirmer |
fixing some Line references
|
file |
diff |
annotate
|
| Wed, 22 May 2019 12:38:51 +0200 |
Norbert Schirmer |
polish document
|
file |
diff |
annotate
|
| Tue, 21 May 2019 16:22:30 +0200 |
Norbert Schirmer |
accomodate to upcoming Isabelle 2019
|
file |
diff |
annotate
|
| Fri, 17 May 2019 10:38:01 +0200 |
Norbert Schirmer |
prefer cartouches over " in ML 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 11:10:53 +0200 |
Norbert Schirmer |
Accomodate to Isabelle 2018
|
file |
diff |
annotate
|
| Sun, 06 Apr 2014 12:45:54 +0100 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
| Thu, 13 Mar 2014 17:16:49 +0000 |
Christian Urban |
updated to changes in Isabelle
|
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
|
| Tue, 28 Jun 2011 09:22:00 +0100 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Sat, 28 Aug 2010 13:27:16 +0800 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
| Tue, 08 Jun 2010 15:18:30 +0200 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Thu, 27 May 2010 10:39:07 +0200 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
| Tue, 13 Oct 2009 22:57:25 +0200 |
Christian Urban |
tuned the ML-output mechanism; tuned slightly the text
|
file |
diff |
annotate
|
| Tue, 28 Jul 2009 08:53:05 +0200 |
Christian Urban |
added more to the ML-antiquotation section
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 23:21:26 +0100 |
Christian Urban |
polished some recipies
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 13:28:16 +0100 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|