aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated 3.2 changesGravatar David Aspinall2000-05-09
* Added autoloads target.Gravatar David Aspinall2000-05-09
* EMACS -> BATCHEMACS varGravatar David Aspinall2000-05-09
* Merged from 3.1.5Gravatar David Aspinall2000-05-09
* Added default targetGravatar David Aspinall2000-05-09
* CommentsGravatar David Aspinall2000-05-07
* Comment.Gravatar David Aspinall2000-05-05
* Updated 3.2 details. Keybindings for Coq, LEGO shortcuts changed.Gravatar David Aspinall2000-05-05
* Missing paraGravatar David Aspinall2000-05-05
* Buglet in htmlGravatar David Aspinall2000-05-05
* Set version tag for new release.Gravatar David Aspinall2000-05-05
* Fix markup bug.Gravatar David Aspinall2000-05-05
* Expanded explanation of selecting Isar.Gravatar David Aspinall2000-05-05
* UpdatedGravatar David Aspinall2000-05-05
* make clean removes Emacs backups. Probably safe...Gravatar David Aspinall2000-05-05
* Hot news about FAQ.Gravatar David Aspinall2000-05-05
* isa-system.el -> isabelle-system.elGravatar David Aspinall2000-05-05
* Renamed fileGravatar David Aspinall2000-05-05
* Expanded menuGravatar David Aspinall2000-05-05
* Comments. Minor improvements for electric terminator and proof-follow-mode='...Gravatar David Aspinall2000-05-05
* Corrected header.Gravatar David Aspinall2000-05-05
* Moved code into proof-system and proof-utils.Gravatar David Aspinall2000-05-05
* Files for interfacing with proof system, e.g. maintaining settings.Gravatar David Aspinall2000-05-05
* General utility functions, moved from proof.elGravatar David Aspinall2000-05-05
* Added menu entry for proof-goto-end-of-locked.Gravatar David Aspinall2000-05-05
* Added variables for customization groups so they can be set automatically.Gravatar David Aspinall2000-05-05
* Improved docs, declaration of variables set in proof-site, settings mechanism...Gravatar David Aspinall2000-05-05
* New code in isa-system.el.Gravatar David Aspinall2000-05-05
* New file for interfacing with Isabelle system.Gravatar David Aspinall2000-05-05
* Default to isa-mode or isar-mode according to first one invoked.Gravatar David Aspinall2000-05-05
* Beginnings of a FAQ.Gravatar David Aspinall2000-05-05
* Added proof-assistant-keymap and commands for defining insert keys.Gravatar David Aspinall2000-05-02
* Cease mentioning plastic.Gravatar David Aspinall2000-05-01
* Helper macros.Gravatar David Aspinall2000-05-01
* Added specific menu for LEGO.Gravatar David Aspinall2000-05-01
* Set version tag for new release.Gravatar David Aspinall2000-05-01
* Added specific menu for Isabelle (early version)Gravatar David Aspinall2000-05-01
* Added specific menu for Coq.Gravatar David Aspinall2000-05-01
* Added proof-assistant-menu-entries for proof assistant specific menus.Gravatar David Aspinall2000-05-01
* TrivialGravatar David Aspinall2000-05-01
* Added note about new FSF bug discovered, sigh...Gravatar David Aspinall2000-05-01
* Force in .gz target.Gravatar David Aspinall2000-04-28
* Keep ChangeLog gzipped. Small saving on repo size.Gravatar David Aspinall2000-04-28
* Set version tag for new release.Gravatar David Aspinall2000-04-28
* Note about conflict in mergingGravatar David Aspinall2000-04-28
* Added note about 3.1.4 patch, merged from 3.1 branchGravatar David Aspinall2000-04-28
* Notes about using cvs and branch.Gravatar David Aspinall2000-04-28
* Added warning about releasing from old branch.Gravatar David Aspinall2000-04-28
* Set version tag for new release.Gravatar David Aspinall2000-04-26
* isar-indent regexps moved to isar-syntax.el;Gravatar Makarius Wenzel2000-04-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-02 23:44:24 +0000