2019-05-14 |
Norbert Schirmer |
isabelle update_cartouches -t
|
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
|
2012-10-04 |
Christian Urban |
removed "use" for "ML_file"
|
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-04-30 |
Christian Urban |
updated to forthcoming Isabelle 2012
|
file |
diff |
annotate
|
2012-03-20 |
Christian Urban |
updated to outer syntax / parser changes
|
file |
diff |
annotate
|
2011-11-07 |
Christian Urban |
more on contexts
|
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-05-17 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2011-03-18 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2010-07-28 |
Christian Urban |
test
|
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
|
2010-05-17 |
Christian Urban |
updated to new isabelle
|
file |
diff |
annotate
|
2010-04-07 |
Christian Urban |
updated to new Isabelle
|
file |
diff |
annotate
|
2009-11-19 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-11-19 |
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-17 |
Christian Urban |
added some rudimentary inrastructure for producing the ML-code
|
file |
diff |
annotate
|
2009-08-03 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-08-03 |
Christian Urban |
replaced "writeln" with "tracing"
|
file |
diff |
annotate
|
2009-07-14 |
Christian Urban |
minor tuning
|
file |
diff |
annotate
|
2009-06-05 |
Christian Urban |
updated to lates Isabelle changes
|
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-04-15 |
Christian Urban |
replaced "warning" with "writeln"
|
file |
diff |
annotate
|
2009-04-01 |
Christian Urban |
finished the heavy duty stuff for the inductive package
|
file |
diff |
annotate
|
2009-03-26 |
Christian Urban |
more work on the simple inductive section
|
file |
diff |
annotate
|
2009-03-19 |
Christian Urban |
made more of the transition from "CookBook" to "ProgTutorial"
|
file |
diff |
annotate
| base
|