2019-05-17 |
Norbert Schirmer |
prefer cartouches over " in ML antiquotations
|
file |
diff |
annotate
|
2019-05-16 |
Norbert Schirmer |
tuned ML-antiquotations; added intro portions.
|
file |
diff |
annotate
|
2019-05-14 |
Norbert Schirmer |
tuned parser for patterns in ML_response... antiquotations
|
file |
diff |
annotate
|
2019-05-14 |
Norbert Schirmer |
isabelle update_cartouches -t
|
file |
diff |
annotate
|
2019-05-14 |
Norbert Schirmer |
Accomodate to Isabelle 2018
|
file |
diff |
annotate
|
2014-08-20 |
Christian Urban |
updated to recent isabelle
|
file |
diff |
annotate
|
2014-03-13 |
Christian Urban |
updated to changes in Isabelle
|
file |
diff |
annotate
|
2013-02-25 |
Christian Urban |
updated the CallML section with the help from Florian
|
file |
diff |
annotate
|
2012-08-27 |
Christian Urban |
adapted to new build framework
|
file |
diff |
annotate
|
2012-04-30 |
Christian Urban |
removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
|
file |
diff |
annotate
|
2012-03-20 |
Christian Urban |
updated to outer syntax / parser changes
|
file |
diff |
annotate
|
2010-05-27 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2009-10-30 |
haftmann |
avoid value restriction
|
file |
diff |
annotate
|
2009-10-13 |
Christian Urban |
tuned the ML-output mechanism; tuned slightly the text
|
file |
diff |
annotate
|
2009-08-20 |
Christian Urban |
further polishing of index generation
|
file |
diff |
annotate
|
2009-08-20 |
Christian Urban |
simplified a bit the index generation
|
file |
diff |
annotate
|
2009-07-30 |
Christian Urban |
tuned figure placement
|
file |
diff |
annotate
|
2009-07-30 |
Christian Urban |
polished the package chapter used FOCUS to explain the subproofs
|
file |
diff |
annotate
|
2009-05-30 |
Christian Urban |
added some first index-information
|
file |
diff |
annotate
|
2009-05-08 |
Christian Urban |
Jasmin and Christian added examples for the pretty-printing section
|
file |
diff |
annotate
|
2009-05-05 |
Christian Urban |
fixed the problem with double definition of even and odd
|
file |
diff |
annotate
|
2009-04-01 |
Christian Urban |
finished the heavy duty stuff for the inductive package
|
file |
diff |
annotate
|
2009-04-01 |
Christian Urban |
more work on the simple inductive chapter
|
file |
diff |
annotate
|
2009-03-31 |
Christian Urban |
started to adapt the rest of chapter 5 to the simplified version without parameters (they will be described in the extension section)
|
file |
diff |
annotate
|
2009-03-31 |
Christian Urban |
more work on the inductive package
|
file |
diff |
annotate
|
2009-03-27 |
Christian Urban |
polishing
|
file |
diff |
annotate
|
2009-03-19 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|