aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Added mechanism for setting font-lock-keywords uniformly fromGravatar David Aspinall2000-03-10
* Use name of proof assistant in menu.Gravatar David Aspinall2000-03-10
* Names of shell, goals, script buffers now based on proof assistant nameGravatar David Aspinall2000-03-10
* Comment.Gravatar David Aspinall2000-03-10
* boundp->fboundp. Fix test for proof-shell-process-connection-type.Gravatar David Aspinall2000-03-10
* Set version tag for new release.Gravatar David Aspinall2000-03-09
* Detect default for proof-shell-process-connection-type by running unameGravatar David Aspinall2000-03-09
* Added proof-shell-process-connection-type.Gravatar David Aspinall2000-03-09
* Added support for HOL98 PG.Gravatar David Aspinall2000-03-09
* Edited a tooltip.Gravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
* Set version tag for new release.Gravatar David Aspinall2000-03-08
* Fix to warn function to use format args.Gravatar David Aspinall2000-03-08
* Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)Gravatar David Aspinall2000-03-08
* Set version tag for new release.Gravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-02-29
* Forced process-connection-type always to nil, after all. May not be an issue...Gravatar David Aspinall2000-02-29
* Set version tag for new release.Gravatar David Aspinall2000-02-28
* Added back ^G fix for Solaris, but not for non-mule FSF.Gravatar David Aspinall2000-02-28
* Add definition of warn function for FSF compatibility.Gravatar David Aspinall2000-02-28
* Set version tag for new release.Gravatar David Aspinall2000-02-24
* Set version tag for new release.Gravatar David Aspinall2000-02-17
* Set version tag for new release.Gravatar David Aspinall2000-02-15
* New canonical URL for PG.Gravatar David Aspinall2000-02-15
* Set version tag for new release.Gravatar David Aspinall2000-02-09
* Added proof-shell-pre-interrupt-hookGravatar David Aspinall2000-02-09
* Set version tag for new release.Gravatar David Aspinall2000-01-26
* Temporary fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
* Set version tag for new release.Gravatar David Aspinall2000-01-20
* Set version tag for new release.Gravatar David Aspinall2000-01-12
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
* Set version tag for new release.Gravatar David Aspinall2000-01-06
* Set version tag for new release.Gravatar David Aspinall1999-12-16
* Set version tag for new release.Gravatar David Aspinall1999-12-14
* Set version tag for new release.Gravatar David Aspinall1999-12-13
* Set version tag for new release.Gravatar David Aspinall1999-12-03
* Set version tag for new release.Gravatar David Aspinall1999-12-01
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-29
* Set version tag for new release.Gravatar David Aspinall1999-11-29
* TypoGravatar David Aspinall1999-11-29
* Comments about improved handling of urgent message markers, followingGravatar David Aspinall1999-11-29
* Set version tag for new release.Gravatar David Aspinall1999-11-26
* Set version tag for new release.Gravatar David Aspinall1999-11-26
* Typos.Gravatar David Aspinall1999-11-26
* Set version tag for new release.Gravatar David Aspinall1999-11-25
* DocstringGravatar David Aspinall1999-11-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 22:15:03 +0000