aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall2003-04-15
* Comments.Gravatar David Aspinall2003-04-05
* Tweak to initialisation; fix prob with turning on during scripting.Gravatar David Aspinall2003-04-05
* Add proof-indent-pad-eol to add useless spacesGravatar David Aspinall2003-04-05
* Add proof-indent-pad-eol for prettifying colouring in XEmacsGravatar David Aspinall2003-04-05
* Make colour of active scripting indicator change as documentedGravatar David Aspinall2003-03-17
* Bury splash buffer instead of merely switching away from it.Gravatar David Aspinall2003-03-17
* Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...Gravatar David Aspinall2003-03-17
* Documentation.Gravatar David Aspinall2003-03-17
* Set version tag for new release.Gravatar David Aspinall2003-03-17
* More tweaks so that (proof-ass x-symbol-enable) is pervasive.Gravatar David Aspinall2003-03-17
* Streamline startup.Gravatar David Aspinall2003-03-16
* Updated.Gravatar David Aspinall2003-03-16
* Improve removal of display of splash screen. Buffer still not killed (XEmacs...Gravatar David Aspinall2003-03-16
* Set version tag for new release.Gravatar David Aspinall2003-03-14
* Use X-Symbol supplied functions for encoding input and decoding output regionsGravatar David Aspinall2003-03-14
* Be more polite with handling of invisibility specGravatar David Aspinall2003-03-14
* Comment about desirability for lazy-shot in trace outputGravatar David Aspinall2003-03-14
* Only decode x-symbols if enabled globally for prover.Gravatar David Aspinall2003-03-14
* Add requires to reduce compilation warnings.Gravatar David Aspinall2003-03-14
* Kludge for key-press during loading problem with splash screen.Gravatar David Aspinall2003-03-14
* Update datesGravatar David Aspinall2003-03-10
* Set version tag for new release.Gravatar David Aspinall2003-03-07
* Use Info-default-directory-list for GNU Emacs stillGravatar David Aspinall2003-03-07
* Fix Non-X frame error on Emacs 21Gravatar David Aspinall2003-03-06
* List of stuff to do hereGravatar David Aspinall2003-03-05
* Set version tag for new release.Gravatar David Aspinall2003-03-05
* Make sure selected window never changesGravatar David Aspinall2003-03-05
* Set version tag for new release.Gravatar David Aspinall2003-03-03
* Fix sticky mode properties for X-SymbolGravatar David Aspinall2003-03-03
* Fix sticky mode properties for X-SymbolGravatar David Aspinall2003-03-03
* Some fixes/error protection in shrink windowGravatar David Aspinall2003-03-01
* Refactor function used for Isar parsing a little.Gravatar David Aspinall2003-03-01
* Fix to shrink-windows-tofitGravatar David Aspinall2003-02-24
* Documentation.Gravatar David Aspinall2003-02-24
* Set version tag for new release.Gravatar David Aspinall2003-02-24
* Set x-symbol-data-directoryGravatar David Aspinall2003-02-24
* Fix proofdefinvisible, proofdefshortcut to work in compiled versionGravatar David Aspinall2003-02-24
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Set version tag for new release.Gravatar David Aspinall2003-02-22
* Fixes to work with bundled versionGravatar David Aspinall2003-02-22
* Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)Gravatar David Aspinall2003-02-22
* Add code to use bundled version, commented out since broken.Gravatar David Aspinall2003-02-22
* Set version tag for new release.Gravatar David Aspinall2003-02-20
* Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.Gravatar David Aspinall2003-02-19
* Docs; same safe-fail for MMM as X-Symbol.Gravatar David Aspinall2003-02-19
* Documentation.Gravatar David Aspinall2003-02-19
* Use bundled version off mmm firstGravatar David Aspinall2003-02-19
* Set version tag for new release.Gravatar David Aspinall2003-02-19
* Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orGravatar David Aspinall2003-02-19
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-09 05:15:25 +0000