aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-08-30Updated.David Aspinall
2001-08-30Clarify 6.3.1 for multi fileDavid Aspinall
2001-08-30Fix interrupt hook for PolyML 4 in recent IsabelleDavid Aspinall
2001-08-30Set version tag for new release.David Aspinall
2001-08-30Add reassurance to interrupt warning to make Markus happier.David Aspinall
2001-08-30Note about XEmacs 21 and x-symbolDavid Aspinall
2001-08-30Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).David Aspinall
2001-08-30More about invisible proofs and multiple files in Coq. X-symbol compatDavid Aspinall
2001-08-30Updates for recent version of X-symbol, which has no file called x-symbol-aut...David Aspinall
2001-08-30Add :eval form for defpacustom to define PA-specific PG settings as well as P...David Aspinall
2001-08-30Add variable proof-previous-script-bufferDavid Aspinall
2001-08-30fixes for FSF Emacs for searching for goal span (don't call goal-command-p on...David Aspinall
2001-08-30Added implementation of remassq for FSF EmacsDavid Aspinall
2001-08-30pg-insert-last-output-as-comment strips special annotations from last output ...David Aspinall
2001-08-28Fix web page for kitDavid Aspinall
2001-08-28added something in the doc about coq-version-is-V7.Pierre Courtieu
2001-08-28Added something in the doc about coq-version-is-V7, and made the setting ofPierre Courtieu
2001-08-28Updated.David Aspinall
2001-08-28Set version tag for new release.David Aspinall
2001-08-28Change of proof span type back to goalsave fixDavid Aspinall
2001-08-28Change of proof span type back to goalsaveDavid Aspinall
2001-08-28Remove dependent setting of timeout, since bin calls different fn now.David Aspinall
2001-08-28Call function which always waits to prevent odd mode selection bug.David Aspinall
2001-08-28TrivialDavid Aspinall
2001-08-28Remove mention of toolbar variable. Make timeouts vary according to how star...David Aspinall
2001-08-28Timeout happens as intended now, while loading some parts of PG.David Aspinall
2001-08-28Improve stylesheet syntax, make menubar smallerDavid Aspinall
2001-08-17Updated.David Aspinall
2001-08-17Updated.David Aspinall
2001-08-17Set version tag for new release.David Aspinall
2001-08-17Trim visibility implementation:David Aspinall
2001-08-17Add span-delete-action hookDavid Aspinall
2001-08-17Minibuffer contents bug fixDavid Aspinall
2001-08-17Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...David Aspinall
2001-08-16Updated.David Aspinall
2001-08-16Set version tag for new release.David Aspinall
2001-08-16Document visibility controlDavid Aspinall
2001-08-16Add link to browse filesDavid Aspinall
2001-08-16Add link to browse packageDavid Aspinall
2001-08-16Add link to individual filesDavid Aspinall
2001-08-16Move visibility item up, removed "in progress"David Aspinall
2001-08-16Switch back to using goalsave spans in PBP codeDavid Aspinall
2001-08-16Add hide/show commands instead of make proofs visibleDavid Aspinall
2001-08-16Generate intermediate proof span for contents of proof; other becomes 'goalsa...David Aspinall
2001-08-16Function name fixes, use idiom property in span for popup menu name.David Aspinall
2001-08-15Fix screenshots linkDavid Aspinall
2001-08-15Fix again.David Aspinall
2001-08-15Fix linkDavid Aspinall
2001-08-10Updated.David Aspinall
2001-08-10Explain symptom properlyDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 10:04:04 +0000