| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-10-07 | Added more documentation. | David Aspinall | |
| Made new proof-config customization group for variables supposed to be configured by prover specific settings (as opposed to user options, which are set by users). This adds type information and useful facility for testing new instances of PG. Similarly added proof-shell customization group. Removed (what I assume to be) defunct variables proof-post-shell-exit-hook, proof-shell-echo-input. Made deflocal do 'setq-default', not 'setq'. (I consider this a bugfix, but no calls to deflocal use other than nil value anyway, so this bug had no effect.) Added code for displaying splash screen. Attempted fix for proof-issue-new-command when process inactive. Improved functions proof-script-new-command-advance, proof-script-next-command-advance, called from proof-assert-next-command. | |||
| 1998-10-07 | Added detection of less than 16 bit colour depth to display 8bit | David Aspinall | |
| icons. Disabled toolbar for console working. | |||
| 1998-10-07 | Munged name of customization variables so that menus display nicely. | David Aspinall | |
| Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much). | |||
| 1998-10-07 | Removed lego-settings defgroup, changed to lego. | David Aspinall | |
| Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil). | |||
| 1998-10-07 | Removed coq-settings defgroup, changed to coq. | David Aspinall | |
| Defcustom'd coq-prog-name. Removed proof-assistant setting (now automatic) Added FIXME question about proof-shell-init-cmd. | |||
| 1998-10-07 | Added text logos. Menu now appears in screenshot. | David Aspinall | |
| 1998-10-07 | New file to give users/co-developers a chance to see what we have planned. | David Aspinall | |
| 1998-10-07 | Added some notes for Isabelle | David Aspinall | |
| 1998-10-07 | Removed some. | David Aspinall | |
| 1998-10-07 | Rearranged a bit, added some, removed some. | David Aspinall | |
| 1998-10-07 | Found some more... | David Aspinall | |
| 1998-10-07 | Added cvsclean back | David Aspinall | |
| 1998-10-07 | GIMP Script Fu for batch generating images. | David Aspinall | |
| 1998-10-07 | Added jpegs to repository for convenience. | David Aspinall | |
| 1998-10-07 | Added gif files for reduced color displays. | David Aspinall | |
| 1998-10-07 | Added to repository for convenience. | David Aspinall | |
| 1998-10-07 | Added for convenience. | David Aspinall | |
| 1998-10-07 | Makefile for generating various image formats. | David Aspinall | |
| 1998-10-07 | Added to repository for convenience. | David Aspinall | |
| 1998-10-07 | Added text logos. | David Aspinall | |
| 1998-10-07 | Colorised the general! | David Aspinall | |
| 1998-10-07 | Fixed validation errors. Added screenshot page. | David Aspinall | |
| 1998-10-07 | Rough copyright notice cribbed from cwb | David Aspinall | |
| 1998-10-07 | Note about COPYING. | David Aspinall | |
| 1998-10-05 | da> BTW, the menus have disappeared! | Thomas Kleymann | |
| They are back courtesy of reintroducing an easy-menu-add call. | |||
| 1998-10-02 | Moved menu definition back into proof-config-done. | David Aspinall | |
| 1998-10-02 | Added automatic editing of download.html | David Aspinall | |
| 1998-10-02 | Removed Emacs versions to more transient place | David Aspinall | |
| 1998-10-02 | Major revision after business lunch with da | Thomas Kleymann | |
| 1998-10-02 | changed maintainer information to lego@dcs and isabelle@dcs . | Thomas Kleymann | |
| 1998-10-02 | Removed erroneous mention of an elisp directory | David Aspinall | |
| 1998-10-02 | Top-level README for distribution. | David Aspinall | |
| 1998-10-02 | Removed duff key bindings | David Aspinall | |
| 1998-10-02 | Added $ to coq automode regexp | David Aspinall | |
| 1998-10-02 | Improved (internal) documentation of multiple file handling | Thomas Kleymann | |
| 1998-10-02 | put isabelle-users address in alphabetic order | Thomas Kleymann | |
| 1998-10-02 | Added todo for proof-goal-command, proof-save-command | David Aspinall | |
| 1998-10-02 | added LEGO support for proof-goal-command and proof-save-command | Thomas Kleymann | |
| 1998-10-02 | Added isabelle-users, mentioned toolbar. | David Aspinall | |
| 1998-10-02 | draft for first pre-release | Thomas Kleymann | |
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall | |
| 1998-10-01 | Removed top-level "dist" directory from RELEASEDIR. | David Aspinall | |
| 1998-10-01 | Fixed for new header in coqtags. | David Aspinall | |
| 1998-10-01 | Removed troublesome $Id$ header from .patch file: was getting | David Aspinall | |
| expanded by cvs! Really this file should be marked as "binary." | |||
| 1998-10-01 | Adjusted for older rpm | David Aspinall | |
| 1998-10-01 | Updated for new path in coqtags | David Aspinall | |
| 1998-10-01 | Added todo for next/previous functions. | David Aspinall | |
| 1998-10-01 | Added notes about toolbar and retract buglets. | David Aspinall | |
| 1998-10-01 | Replaced string COMMENT by constant proof-no-command. | David Aspinall | |
| 1998-10-01 | Added documentation for user-level functions. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |