aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-09-29Comment fixDavid Aspinall
2000-09-29Parse comments also in proof-script-generic-parse-sexpDavid Aspinall
2000-09-29Non existent get-window-buffer -> get-buffer-window (how did that get through?)David Aspinall
2000-09-29Default for proof-comment-end that doesn't cause looping in searching for ↵David Aspinall
comment end.
2000-09-29Updated, trimmed down to barebones.David Aspinall
2000-09-29added some comments in coq/todoPierre Courtieu
2000-09-29Make default path to perl be /usr/bin/perlDavid Aspinall
2000-09-29a little change in coq/x-symbol, nothingPierre Courtieu
2000-09-29A little work around for the bug of Coq concerning the restart thatPierre Courtieu
uses Reset Initial which doesn't reset the Implicit Arguments flag to Off (this is the bug), I added the good command to the coq reset command, this has to be backtracked when V7 will be done (the bug is already corrected in V7).
2000-09-29Added Uncaught exception errors in coq-error-regexp.Pierre Courtieu
2000-09-28Date becomes OctDavid Aspinall
2000-09-28Fix web page, at least.David Aspinall
2000-09-28Notes.David Aspinall
2000-09-28TweaksDavid Aspinall
2000-09-28phtml -> htmlDavid Aspinall
2000-09-28Fix URL.David Aspinall
2000-09-28Moved to use .html instead of .phtmlDavid Aspinall
2000-09-28Renamed filesDavid Aspinall
2000-09-28Renamed fileDavid Aspinall
2000-09-28Add FIXMEDavid Aspinall
2000-09-28Fix comment.David Aspinall
2000-09-28Var name change use-new-parsing -> use-new-parser. Turn on font lock by default.David Aspinall
2000-09-28Fix typo, add credit.David Aspinall
2000-09-28isar-web-page;Makarius Wenzel
2000-09-28Set version tag for new release.David Aspinall
2000-09-28Add default targetDavid Aspinall
2000-09-28First (non-working) versions, committed so that doc builds.David Aspinall
2000-09-28Fix dateDavid Aspinall
2000-09-28Dreams about testingDavid Aspinall
2000-09-28Generalize Isabelles atomic file scripting.David Aspinall
2000-09-28Added generic line width adjusting to grand TODODavid Aspinall
2000-09-28Added extra section on how to tweak script input to the shellDavid Aspinall
2000-09-28Added proof-shell-strip-crs-from-input, and unadvertised ↵David Aspinall
proof-script-fly-past-comments
2000-09-28Added fly past comments to quick opts menu when new parsing mechanism active.David Aspinall
2000-09-28Bug fix in proof-goto-end-of-locked. Comments in new parsing functions. ↵David Aspinall
Tweaks to proof-script-generic-parse-cmdstart. Combine fly-past and coelesce comment options. Use proof-string-match-safe in generic-goal-command-p, to avoid error in Twelf.
2000-09-28Added proof-shell-strip-crs-from-input.David Aspinall
2000-09-28Fixes to twelf support, begins to work now.David Aspinall
2000-09-27** C func-menu: observe proof-syntactic-context (general problem ofMakarius Wenzel
func-menu setup?);
2000-09-27proper spelling: "Leonor Prensa Nieto";Makarius Wenzel
fixed @kindex for LEGO and Coq; Isabelle Proof General: cover Isabelle/Isar as well;
2000-09-27removed broken outline stuff;Makarius Wenzel
2000-09-27tuned docstring;Makarius Wenzel
2000-09-27Set version tag for new release.David Aspinall
2000-09-27UpdatedDavid Aspinall
2000-09-27Updated, mention PG Kit.David Aspinall
2000-09-27proofgeneral email address for meDavid Aspinall
2000-09-27Added future section, fixed URLs. Updated to mention ↵David Aspinall
proof-script-sexp-commands.
2000-09-27Shortened BUGs appendix, other improvementsDavid Aspinall
2000-09-27Updated from docDavid Aspinall
2000-09-27Fix URL of sourceDavid Aspinall
2000-09-27Already shrunken general for buggy browsers benefit.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 07:19:22 +0000