doc-src/IsarImplementation/IsaMakefile
2006-11-15 wenzelm 2006-11-15 common antiquote_setup.ML;
2006-09-04 wenzelm 2006-09-04 tuned;
2006-01-02 wenzelm 2006-01-02 "The Isabelle/Isar Implementation" manual;