2019-05-21 |
Norbert Schirmer |
accomodate to upcoming Isabelle 2019
|
file |
diff |
annotate
|
2019-05-21 |
Norbert Schirmer |
prefer more result checking 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 |
tuned parsing in document antiquotations for ML
|
file |
diff |
annotate
|
2019-05-14 |
Norbert Schirmer |
Accomodate to Isabelle 2018
|
file |
diff |
annotate
|
2014-07-08 |
Christian Urban |
updated for Isabelle 2014
|
file |
diff |
annotate
|
2014-04-06 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
2014-03-13 |
Christian Urban |
updated to changes in Isabelle
|
file |
diff |
annotate
|
2013-05-17 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2012-12-01 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
2012-04-30 |
Christian Urban |
removed special ML-setup and replaced it by explicit markups (i.e., %grayML)
|
file |
diff |
annotate
|
2011-10-26 |
Christian Urban |
updated to post-2011-1 Isabelle
|
file |
diff |
annotate
|
2011-06-28 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2011-06-28 |
Christian Urban |
binding in antiquotations
|
file |
diff |
annotate
|
2010-08-28 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
2010-06-08 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2010-05-27 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2009-10-30 |
haftmann |
Proof.goal
|
file |
diff |
annotate
|
2009-10-22 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2009-10-13 |
Christian Urban |
tuned the ML-output mechanism; tuned slightly the text
|
file |
diff |
annotate
|
2009-10-03 |
Christian Urban |
updated to new Isabelle; more work on the data section
|
file |
diff |
annotate
|
2009-08-20 |
Christian Urban |
added an experimental antiquotation to replace eventually ML_response_fake
|
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-08-17 |
Christian Urban |
polished
|
file |
diff |
annotate
|
2009-08-04 |
Christian Urban |
added an antiquotation for printing the raw proof state; polished the example about proof state
|
file |
diff |
annotate
|
2009-08-03 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-06-23 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2009-05-30 |
Christian Urban |
slightly modified index generation
|
file |
diff |
annotate
|
2009-05-30 |
Christian Urban |
added some first index-information
|
file |
diff |
annotate
|
2009-05-30 |
Christian Urban |
added infrastructure for index; antiquotations have now the options [index] and [indexc]
|
file |
diff |
annotate
|
2009-03-25 |
Christian Urban |
soem slight polishing
|
file |
diff |
annotate
|
2009-03-19 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|