aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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 ↵David Aspinall
started.
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
- remove visibility specs and script portion records during undo - clear visibility specs on restart
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 ↵David Aspinall
minibuffer windows buffer.
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 ↵David Aspinall
'goalsave again. Add idiom property.
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
2001-08-10Use proof-looking-at-syntactic-context function from proof-syntax, as ↵David Aspinall
suggested by Markus
2001-08-10Found another instance of buffer-syntactic-contextDavid Aspinall
2001-08-10Updated.David Aspinall
2001-08-10Set version tag for new release.David Aspinall
2001-08-10Put all in dist except pgkitDavid Aspinall
2001-08-10Rearrange list of assistants, note REGISTER.David Aspinall
2001-08-10Remove note about 3.1David Aspinall
2001-08-10Comment about win32 XEmacsDavid Aspinall
2001-08-10Workaround for buffer-syntactic-context bug in XEmacs 21.1David Aspinall
2001-08-10Change buffer-syntactic-context -> proof-buffer-syntactic-contextDavid Aspinall
2001-08-10Bug test case, note workaround dateDavid Aspinall
2001-08-10Bug test caseDavid Aspinall
2001-08-10Note of bug fix for buffer-syntactic-contextDavid Aspinall
2001-08-09fixed potential regexp typo (!?);Makarius Wenzel
2001-08-03Note about improved win32 supportDavid Aspinall
2001-08-03Updated.David Aspinall
2001-08-03Set version tag for new release.David Aspinall
2001-08-03Fix link back to fileshow.phpDavid Aspinall
2001-08-03Renamed fileDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-20 21:00:57 +0000