aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2002-08-08DocstringDavid Aspinall
2002-08-08Set proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08Updated for Isabelle2002.David Aspinall
2002-08-08Fix condition for displaying dependency menuDavid Aspinall
2002-08-08Tweak menu; add proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08UpdatedDavid Aspinall
2002-08-08Fix email addresses; tweaks.David Aspinall
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 -> ↵David Aspinall
proof-three-window-mode.
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
cygwin32.
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-29X-Symbol version 4.45 betaDavid Aspinall
2002-07-29This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
branch.
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
consitent. Concerns the coq-user... variables.
2002-07-26Changed once again the backtrack mechanism, it corresponds to what wePierre Courtieu
agreed for some time ago. I am ok for a 3.4 now.
2002-07-26The doc for coq-user-... variables is a bit better, their name hasPierre Courtieu
changed to be more explicit.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-17 03:17:34 +0000