2009-03-17 |
Christian Urban |
added hyperlinks for every file pointer
|
file |
diff |
annotate
|
2009-03-17 |
Christian Urban |
updated to new method_setup
|
file |
diff |
annotate
|
2009-03-17 |
Christian Urban |
added a recipy about SAT solvers
|
file |
diff |
annotate
|
2009-03-13 |
Christian Urban |
polishing
|
file |
diff |
annotate
|
2009-03-11 |
Christian Urban |
added temporarily some timing test about conversions and simprocs
|
file |
diff |
annotate
|
2009-03-06 |
Christian Urban |
some additions to the simplifier section and general tuning
|
file |
diff |
annotate
|
2009-03-03 |
Christian Urban |
polished
|
file |
diff |
annotate
|
2009-02-28 |
Christian Urban |
general polishing; added versioning to the document
|
file |
diff |
annotate
|
2009-02-27 |
Christian Urban |
added more material to the attribute section; merged the recipe about named theorems into the main body; added a solution to an exercise in the conversion section
|
file |
diff |
annotate
|
2009-02-24 |
Christian Urban |
new pfd file
|
file |
diff |
annotate
|
2009-02-19 |
Christian Urban |
polished
|
file |
diff |
annotate
|
2009-02-17 |
Christian Urban |
polished
|
file |
diff |
annotate
|
2009-02-16 |
Christian Urban |
polishing
|
file |
diff |
annotate
|
2009-02-15 |
Christian Urban |
some polishing; split up the file External Solver into two
|
file |
diff |
annotate
|
2009-02-14 |
Christian Urban |
added an acknowledgement section
|
file |
diff |
annotate
|
2009-02-11 |
Christian Urban |
added to the tactical chapter; polished; added the tabularstar environment (which is just tabular*)
|
file |
diff |
annotate
|
2009-02-09 |
Christian Urban |
polished and more material in the tactic chapter
|
file |
diff |
annotate
|
2009-02-09 |
Christian Urban |
renamed in the pdf all instances of cookbook to tutorial (in order to sound more serious)
|
file |
diff |
annotate
|
2009-02-07 |
Christian Urban |
general cleaning up; deleted antiquotation ML_text; adjusted pathnames of various files in the distribution
|
file |
diff |
annotate
|
2009-02-06 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-01-29 |
Christian Urban |
polishing
|
file |
diff |
annotate
|
2009-01-27 |
Christian Urban |
better handling of {* and *}
|
file |
diff |
annotate
|
2009-01-27 |
Christian Urban |
some polishing
|
file |
diff |
annotate
|
2009-01-26 |
Christian Urban |
polished
|
file |
diff |
annotate
|
2009-01-26 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-01-23 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-01-14 |
Christian Urban |
added more to the "new command section" and tuning
|
file |
diff |
annotate
|
2009-01-12 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2009-01-10 |
Christian Urban |
tuned and added a section about creating keyword files
|
file |
diff |
annotate
|
2009-01-08 |
Christian Urban |
deleted old files and added code to give a special tag to the command ML
|
file |
diff |
annotate
|
2009-01-03 |
Christian Urban |
doem tuning and made the cookbook work again with recent changes (CookBook/Package/Ind_Interface.thy needs to be looked at to see what the problem with the new parser type is)
|
file |
diff |
annotate
|
2008-12-13 |
Christian Urban |
tuned; added document antiquotation ML_response_fake_both
|
file |
diff |
annotate
|
2008-11-28 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2008-11-25 |
Christian Urban |
tuned
|
file |
diff |
annotate
|
2008-10-29 |
Christian Urban |
added a readme chapter for prospective authors; added commands for referring to the Isar Reference Manual
|
file |
diff |
annotate
|
2008-10-29 |
Christian Urban |
added positions to anti-quotations; removed old antiquotation_setup; tuned the text a bit
|
file |
diff |
annotate
|
2008-10-27 |
Christian Urban |
tuned mostly antiquotation and text
|
file |
diff |
annotate
|
2008-10-01 |
Christian Urban |
various changes by Alex and Christian
|
file |
diff |
annotate
|
2008-09-30 |
Christian Urban |
tuned and updated antquote_setup.ML
|
file |
diff |
annotate
|
2008-09-15 |
Christian Urban |
some tuning
|
file |
diff |
annotate
|
2008-09-09 |
Christian Urban |
minor modifiations to the Intro and FirstSteps chapters
|
file |
diff |
annotate
|
2008-09-05 |
Christian Urban |
split the document into smaller pieces;
|
file |
diff |
annotate
|