aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-05-09Added autoloads target.David Aspinall
2000-05-09EMACS -> BATCHEMACS varDavid Aspinall
2000-05-09Merged from 3.1.5David Aspinall
2000-05-09Added default targetDavid Aspinall
2000-05-07CommentsDavid Aspinall
2000-05-05Comment.David Aspinall
2000-05-05Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.David Aspinall
2000-05-05Missing paraDavid Aspinall
2000-05-05Buglet in htmlDavid Aspinall
2000-05-05Set version tag for new release.David Aspinall
2000-05-05Fix markup bug.David Aspinall
2000-05-05Expanded explanation of selecting Isar.David Aspinall
2000-05-05UpdatedDavid Aspinall
2000-05-05make clean removes Emacs backups. Probably safe...David Aspinall
2000-05-05Hot news about FAQ.David Aspinall
2000-05-05isa-system.el -> isabelle-system.elDavid Aspinall
2000-05-05Renamed fileDavid Aspinall
2000-05-05Expanded menuDavid Aspinall
2000-05-05Comments. Minor improvements for electric terminator and proof-follow-mode='...David Aspinall
2000-05-05Corrected header.David Aspinall
2000-05-05Moved code into proof-system and proof-utils.David Aspinall
2000-05-05Files for interfacing with proof system, e.g. maintaining settings.David Aspinall
2000-05-05General utility functions, moved from proof.elDavid Aspinall
2000-05-05Added menu entry for proof-goto-end-of-locked.David Aspinall
2000-05-05Added variables for customization groups so they can be set automatically.David Aspinall
2000-05-05Improved docs, declaration of variables set in proof-site, settings mechanism...David Aspinall
2000-05-05New code in isa-system.el.David Aspinall
2000-05-05New file for interfacing with Isabelle system.David Aspinall
2000-05-05Default to isa-mode or isar-mode according to first one invoked.David Aspinall
2000-05-05Beginnings of a FAQ.David Aspinall
2000-05-02Added proof-assistant-keymap and commands for defining insert keys.David Aspinall
2000-05-01Cease mentioning plastic.David Aspinall
2000-05-01Helper macros.David Aspinall
2000-05-01Added specific menu for LEGO.David Aspinall
2000-05-01Set version tag for new release.David Aspinall
2000-05-01Added specific menu for Isabelle (early version)David Aspinall
2000-05-01Added specific menu for Coq.David Aspinall
2000-05-01Added proof-assistant-menu-entries for proof assistant specific menus.David Aspinall
2000-05-01TrivialDavid Aspinall
2000-05-01Added note about new FSF bug discovered, sigh...David Aspinall
2000-04-28Force in .gz target.David Aspinall
2000-04-28Keep ChangeLog gzipped. Small saving on repo size.David Aspinall
2000-04-28Set version tag for new release.David Aspinall
2000-04-28Note about conflict in mergingDavid Aspinall
2000-04-28Added note about 3.1.4 patch, merged from 3.1 branchDavid Aspinall
2000-04-28Notes about using cvs and branch.David Aspinall
2000-04-28Added warning about releasing from old branch.David Aspinall
2000-04-26Set version tag for new release.David Aspinall
2000-04-25isar-indent regexps moved to isar-syntax.el;Makarius Wenzel
2000-04-25removed unused isar-ids;Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-10 09:55:22 +0000