aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* Add reassurance to interrupt warning to make Markus happier.Gravatar David Aspinall2001-08-30
|
* Note about XEmacs 21 and x-symbolGravatar David Aspinall2001-08-30
|
* Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).Gravatar David Aspinall2001-08-30
|
* More about invisible proofs and multiple files in Coq. X-symbol compatGravatar David Aspinall2001-08-30
|
* Updates for recent version of X-symbol, which has no file called ↵Gravatar David Aspinall2001-08-30
| | | | x-symbol-autoloads.
* Add :eval form for defpacustom to define PA-specific PG settings as well as ↵Gravatar David Aspinall2001-08-30
| | | | PA settings.
* Add variable proof-previous-script-bufferGravatar David Aspinall2001-08-30
|
* fixes for FSF Emacs for searching for goal span (don't call goal-command-p ↵Gravatar David Aspinall2001-08-30
| | | | on empty string). Fix bug in add-proof-element for disappearing proofs setting. Add setting of proof-previous-script-buffer when scripting deactivated
* Added implementation of remassq for FSF EmacsGravatar David Aspinall2001-08-30
|
* pg-insert-last-output-as-comment strips special annotations from last output ↵Gravatar David Aspinall2001-08-30
| | | | before inserting as comment.
* Fix web page for kitGravatar David Aspinall2001-08-28
|
* added something in the doc about coq-version-is-V7.Gravatar Pierre Courtieu2001-08-28
|
* Added something in the doc about coq-version-is-V7, and made the setting ofGravatar Pierre Courtieu2001-08-28
| | | | this variable more trustable with (concat coq-prog-name "-v").
* Updated.Gravatar David Aspinall2001-08-28
|
* Set version tag for new release.Gravatar David Aspinall2001-08-28
|
* Change of proof span type back to goalsave fixGravatar David Aspinall2001-08-28
|
* 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 ↵Gravatar David Aspinall2001-08-28
| | | | started.
* 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
| | | | | - remove visibility specs and script portion records during undo - clear visibility specs on restart
* 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 ↵Gravatar David Aspinall2001-08-17
| | | | minibuffer windows buffer.
* 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 ↵Gravatar David Aspinall2001-08-16
| | | | 'goalsave again. Add idiom property.
* 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 ↵Gravatar David Aspinall2001-08-10
| | | | suggested by Markus
* 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
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 08:34:02 +0000