aboutsummaryrefslogtreecommitdiff
path: root/isa/interface
AgeCommit message (Expand)Author
2000-12-01added -m option;Makarius Wenzel
2000-11-22disable trace option;Makarius Wenzel
2000-11-21converted from sh back to bash;Makarius Wenzel
2000-09-21use plain /bin/sh instead of bash;Makarius Wenzel
2000-09-20added -X option;Makarius Wenzel
2000-09-19installfonts only when using X window system;Makarius Wenzel
2000-09-19isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Makarius Wenzel
2000-09-17this file is now a COPY of isar/interface;Makarius Wenzel
2000-09-15isatool installfonts (for remote X-Symbol fonts);Makarius Wenzel
2000-09-02more quoting;Makarius Wenzel
2000-08-28-w false implies -x false;Makarius Wenzel
2000-02-11option -x: enable x-symbol package;Makarius Wenzel
1999-10-15let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;Makarius Wenzel
1999-09-03usage: tell PROOFGENERAL_OPTIONS;Makarius Wenzel
1999-08-18replaced 'ProofGeneral' by 'Proof General';Makarius Wenzel
1999-08-06ProofGeneral interface wrapper for Isabelle/classicMakarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 22:06:28 +0000