aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Change of proof span type back to goalsaveGravatar David Aspinall2001-08-28
* Remove dependent setting of timeout, since bin calls different fn now.Gravatar David Aspinall2001-08-28
* Call function which always waits to prevent odd mode selection bug.Gravatar David Aspinall2001-08-28
* TrivialGravatar David Aspinall2001-08-28
* Remove mention of toolbar variable. Make timeouts vary according to how star...Gravatar David Aspinall2001-08-28
* Timeout happens as intended now, while loading some parts of PG.Gravatar David Aspinall2001-08-28
* Improve stylesheet syntax, make menubar smallerGravatar David Aspinall2001-08-28
* Updated.Gravatar David Aspinall2001-08-17
* Updated.Gravatar David Aspinall2001-08-17
* Set version tag for new release.Gravatar David Aspinall2001-08-17
* Trim visibility implementation:Gravatar David Aspinall2001-08-17
* Add span-delete-action hookGravatar David Aspinall2001-08-17
* Minibuffer contents bug fixGravatar David Aspinall2001-08-17
* Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...Gravatar David Aspinall2001-08-17
* Updated.Gravatar David Aspinall2001-08-16
* Set version tag for new release.Gravatar David Aspinall2001-08-16
* Document visibility controlGravatar David Aspinall2001-08-16
* Add link to browse filesGravatar David Aspinall2001-08-16
* Add link to browse packageGravatar David Aspinall2001-08-16
* Add link to individual filesGravatar David Aspinall2001-08-16
* Move visibility item up, removed "in progress"Gravatar David Aspinall2001-08-16
* Switch back to using goalsave spans in PBP codeGravatar David Aspinall2001-08-16
* Add hide/show commands instead of make proofs visibleGravatar David Aspinall2001-08-16
* Generate intermediate proof span for contents of proof; other becomes 'goalsa...Gravatar David Aspinall2001-08-16
* Function name fixes, use idiom property in span for popup menu name.Gravatar David Aspinall2001-08-16
* Fix screenshots linkGravatar David Aspinall2001-08-15
* Fix again.Gravatar David Aspinall2001-08-15
* Fix linkGravatar David Aspinall2001-08-15
* Updated.Gravatar David Aspinall2001-08-10
* Explain symptom properlyGravatar David Aspinall2001-08-10
* Use proof-looking-at-syntactic-context function from proof-syntax, as suggest...Gravatar David Aspinall2001-08-10
* Found another instance of buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Updated.Gravatar David Aspinall2001-08-10
* Set version tag for new release.Gravatar David Aspinall2001-08-10
* Put all in dist except pgkitGravatar David Aspinall2001-08-10
* Rearrange list of assistants, note REGISTER.Gravatar David Aspinall2001-08-10
* Remove note about 3.1Gravatar David Aspinall2001-08-10
* Comment about win32 XEmacsGravatar David Aspinall2001-08-10
* Workaround for buffer-syntactic-context bug in XEmacs 21.1Gravatar David Aspinall2001-08-10
* Change buffer-syntactic-context -> proof-buffer-syntactic-contextGravatar David Aspinall2001-08-10
* Bug test case, note workaround dateGravatar David Aspinall2001-08-10
* Bug test caseGravatar David Aspinall2001-08-10
* Note of bug fix for buffer-syntactic-contextGravatar David Aspinall2001-08-10
* fixed potential regexp typo (!?);Gravatar Makarius Wenzel2001-08-09
* Note about improved win32 supportGravatar David Aspinall2001-08-03
* Updated.Gravatar David Aspinall2001-08-03
* Set version tag for new release.Gravatar David Aspinall2001-08-03
* Fix link back to fileshow.phpGravatar David Aspinall2001-08-03
* Renamed fileGravatar David Aspinall2001-08-03
* Fix screenshot linkGravatar David Aspinall2001-08-03
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 12:26:29 +0000