aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-08New files.David Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-08Deleted fileDavid Aspinall
2002-08-08Trivial.David Aspinall
2002-08-08Use glyph for hidden proofs; add open isearch props; tweak element handling fns.David Aspinall
2002-08-08Add lclamDavid Aspinall
2002-08-08New files.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-08-08Added lclam proof site entryDavid Aspinall
2002-08-07Fix docsDavid Aspinall
2002-08-07Doc proof-shell-strip-crs-from-output; update magicDavid Aspinall
2002-08-07Updated.David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-08-07Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-08-07Added proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...David Aspinall
2002-08-07Set version tag for new release.David Aspinall
2002-08-07Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.David Aspinall
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-08-07Add require, fix menu capitalization.David Aspinall
2002-08-07Menu capitalization; support email addr.David Aspinall
2002-08-07New files.David Aspinall
2002-08-07Updated.David Aspinall
2002-08-07CommentsDavid Aspinall
2002-08-07Autoload fixDavid Aspinall
2002-08-07Update from PC, sent 5.8.02David Aspinall
2002-07-29This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2002-07-29X-Symbol version 4.45 betaDavid Aspinall
2002-07-27Finished the changing of names of config. variables (coq-user...).Pierre Courtieu
2002-07-26Changed a bit more the doc and the CHANGES file, to bePierre Courtieu
2002-07-26Changed once again the backtrack mechanism, it corresponds to what wePierre Courtieu
2002-07-26The doc for coq-user-... variables is a bit better, their name hasPierre Courtieu
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-25change to support version 4.4 of x-symbolChristophe Raffalli
2002-07-19Updated.David Aspinall
2002-07-19Known issuesDavid Aspinall
2002-07-19Support missing/faked isatoolDavid Aspinall
2002-07-19Merge changes and comments sent by Christoph WedlerDavid Aspinall
2002-07-19Updated.David Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19ReplaceDavid Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-19SpacingDavid Aspinall
2002-07-19Bug in load-isar-keywordsDavid Aspinall
2002-07-19Updated.David Aspinall
2002-07-19Mention fav improvsDavid Aspinall
2002-07-19UpdatedDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-16 08:55:58 +0000