aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
1999-08-27wordingDavid Aspinall
1999-08-27updatedDavid Aspinall
1999-08-27Added more macros to generalise MakefileDavid Aspinall
1999-08-27UpdatedDavid Aspinall
1999-08-27Added galleryDavid Aspinall
1999-08-27New images for galleryDavid Aspinall
1999-08-27Record of releasesDavid Aspinall
1999-08-27Updated for 2.1David Aspinall
1999-08-27Changed for version 2.2 pre-release.David Aspinall
1999-08-27UpdatedDavid Aspinall
1999-08-25added qed_spec_mp;Makarius Wenzel
1999-08-25Fixed to include isar in distribution; made relocatable.David Aspinall
1999-08-24Set version tag for new release.David Aspinall
1999-08-24Altered release date for 2.1.David Aspinall
1999-08-24Fixed version variable name.David Aspinall
1999-08-24Attempted fix of FSFmacs problem, left as commentDavid Aspinall
1999-08-24DocstringDavid Aspinall
1999-08-24Reverted to 2.1 changesDavid Aspinall
1999-08-24UpdatedDavid Aspinall
1999-08-24enabled isar/;Makarius Wenzel
1999-08-24enabled isar;Makarius Wenzel
1999-08-24isar-response-mode;Makarius Wenzel
1999-08-24some output syntax;Makarius Wenzel
1999-08-23Updated from Coq 6.3 distrib.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-23FIXME to add menu to goals buffer, to match response buffer menu.David Aspinall
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-23Maintainer addressesDavid Aspinall
1999-08-23Very soon now = nowDavid Aspinall
1999-08-23New itemsDavid Aspinall
1999-08-23Mentioned a few testsDavid Aspinall
1999-08-23UpdatedDavid Aspinall
1999-08-23Updated.David Aspinall
1999-08-23Disable properly if x-symbol is not available.David Aspinall
1999-08-23fixed comment;Makarius Wenzel
1999-08-23Updates suggested by Markus and Patrick for Coq 6.3.David Aspinall
1999-08-23Integrated patch from David von Oheimb.David Aspinall
1999-08-23Set version tag for new release.David Aspinall
1999-08-23Fix for toolbar disable for FSF Emacs.David Aspinall
1999-08-23proof-version -> proof-general-versionDavid Aspinall
1999-08-23Updates.David Aspinall
1999-08-23Mentioned C-c C-a being broken. XEmacs 20.4 or later.David Aspinall
1999-08-23Other usability improvementsDavid Aspinall
1999-08-23Added font-lock keywords and syntax table setup for buffers displayingDavid Aspinall
1999-08-23Improved syntax by copying from isar-syntax.el.David Aspinall
1999-08-23font-lock-function-face -> font-lock-function-name-faceDavid Aspinall
1999-08-23print_context;Makarius Wenzel
1999-08-20Admit that unstable means bugs.David Aspinall
1999-08-20Remove temporary fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 17:07:35 +0000