aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-01-16This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-01-16X-Symbol version 4.45 betaDavid Aspinall
2003-01-16Updated.David Aspinall
2003-01-16Toward XHTMLDavid Aspinall
2003-01-16Update my email and webDavid Aspinall
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-01-02X-Symbol version 4.45 betaDavid Aspinall
2003-01-02This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-12-29Fake customize menu create for latest Emacs release -- workaround new bug thereDavid Aspinall
2002-12-29Fix use of replace-regexp-in-stringDavid Aspinall
2002-12-29Try to catch nesting too deep ugliness (esp in Isabelle tracing)David Aspinall
2002-12-29Add followdownDavid Aspinall
2002-12-29Add followdown mode; compat noteDavid Aspinall
2002-12-29Buglet in proof-shell-ready-proverDavid Aspinall
2002-12-17X-Symbol version 4.45 betaDavid Aspinall
2002-12-17This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-12-11X-Symbol version 4.45 betaDavid Aspinall
2002-12-11This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-12-10X-Symbol version 4.45 betaDavid Aspinall
2002-12-10This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-12-10X-Symbol version 4.45 betaDavid Aspinall
2002-12-10This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-12-10X-Symbol version 4.45 betaDavid Aspinall
2002-12-10This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-12-09X-Symbol version 4.45 betaDavid Aspinall
2002-12-09This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-11-28Updated.David Aspinall
2002-11-28Documentation.David Aspinall
2002-11-28DocstringDavid Aspinall
2002-11-28DocDavid Aspinall
2002-11-28Add pg-xml-encode-entities.David Aspinall
2002-11-28Revert proof-shell-handle-output version, add failsafe.David Aspinall
2002-11-22Fix link to Isamode.David Aspinall
2002-11-21Updated.David Aspinall
2002-11-21markup ml for IsarDavid Aspinall
2002-11-20Autoload proof-definvisibleDavid Aspinall
2002-11-20Updated.David Aspinall
2002-11-20Make proof-assistants-settings-cmd be evaluated at right time.David Aspinall
2002-11-20Improve isabelle-choose-logic, and make it clear preferences. Remove all def...David Aspinall
2002-11-20Remove junkDavid Aspinall
2002-11-20Updated.David Aspinall
2002-11-20CommentDavid Aspinall
2002-11-20proof-shell-invisible-cmd also accepts a function yielding a command.David Aspinall
2002-11-20Fix typo.David Aspinall
2002-11-20Add reset options, and save/reset settings items.David Aspinall
2002-11-20Add pg-custom-reset-vars. Make proofdefintset display current valueDavid Aspinall
2002-11-20FIXMEDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-29 03:19:05 +0000