Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Changed banner to use gif files for text. | 1998-10-09 | |
| | |||
* | Changed banner to use gif files for text. | 1998-10-09 | |
| | |||
* | Deleted files. | 1998-10-09 | |
| | |||
* | No longer needed. | 1998-10-09 | |
| | |||
* | After having spent more than a day on implementing a package for | 1998-10-09 | |
| | | | | | | | directed graphs, a five minute discussion with Dave has led to a revised specification for handling multiple files. This should be easier to implement and more efficient. Directed graphs are no longer required. | ||
* | Validator fix | 1998-10-08 | |
| | |||
* | Better summary line | 1998-10-08 | |
| | |||
* | Added untag target for rebuilding on same day. | 1998-10-08 | |
| | |||
* | Validator fixes | 1998-10-08 | |
| | |||
* | Fixed Validator URLs | 1998-10-08 | |
| | |||
* | Changed 'ln -sf' to 'rm ; ln' because link got put into directory. | 1998-10-08 | |
| | |||
* | Added fixup to specfile because dcs.ed has old RPM installed. | 1998-10-08 | |
| | |||
* | Now edits full version of name of release in download.html | 1998-10-08 | |
| | |||
* | Set version tag for release. | 1998-10-08 | |
| | |||
* | Fixed typo. | 1998-10-08 | |
| | |||
* | Added auto checking for Proofgeneral.spec. | 1998-10-08 | |
| | |||
* | Removed hyphen from prerelease name. | 1998-10-08 | |
| | |||
* | Made full prerelease name be name of tar file and RPM file. | 1998-10-08 | |
| | |||
* | Changed binding for C-c RET | 1998-10-08 | |
| | |||
* | Added SUPERSONIC category, investigated proof-assert-until-point. | 1998-10-08 | |
| | |||
* | *** empty log message *** | 1998-10-08 | |
| | |||
* | Removed check distribution item. Added Isabelle fix. | 1998-10-08 | |
| | |||
* | removed bra-types and uitp from pre-release message | 1998-10-08 | |
| | |||
* | Removed images/Makefile from distrib. | 1998-10-08 | |
| | |||
* | Moved from /usr/lib to /usr/share | 1998-10-08 | |
| | |||
* | Removed mysterious @ignores around info dir entry. | 1998-10-08 | |
| | |||
* | Still bad ('cos release is -kv), removed $ from patch. | 1998-10-07 | |
| | |||
* | Updated for new proof-site.el | 1998-10-07 | |
| | |||
* | Disabeled remote release | 1998-10-07 | |
| | |||
* | Removed ssh.dcs.ed.ac.uk from remote release. | 1998-10-07 | |
| | |||
* | Removed CVS binary item | 1998-10-07 | |
| | |||
* | Fixup branch | 1998-10-07 | |
| | |||
* | Fixup branch. | 1998-10-07 | |
| | |||
* | Added distclean target | 1998-10-07 | |
| | |||
* | Adjusted so make clean gives clean output from cvs update. | 1998-10-07 | |
| | |||
* | Disabled tags support for Isabelle. | 1998-10-07 | |
| | | | | | | | | Removed isabelle-settings defcustom, renamed to isabelle-. Renamed some customization variables isabelle-* for nice display in menus. Removed proof-assistant setting. Removed proof-global-p and isa-global-p. Renamed isa-thy-mode to thy-mode. | ||
* | Renamed isa-thy-* to thy-* | 1998-10-07 | |
| | |||
* | Added more documentation. | 1998-10-07 | |
| | | | | | | | | | | | | | | | | | | | | | | | 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. | ||
* | Added detection of less than 16 bit colour depth to display 8bit | 1998-10-07 | |
| | | | | | icons. Disabled toolbar for console working. | ||
* | Munged name of customization variables so that menus display nicely. | 1998-10-07 | |
| | | | | | | | 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). | ||
* | Removed lego-settings defgroup, changed to lego. | 1998-10-07 | |
| | | | | | Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil). | ||
* | Removed coq-settings defgroup, changed to coq. | 1998-10-07 | |
| | | | | | | Defcustom'd coq-prog-name. Removed proof-assistant setting (now automatic) Added FIXME question about proof-shell-init-cmd. | ||
* | Added text logos. Menu now appears in screenshot. | 1998-10-07 | |
| | |||
* | New file to give users/co-developers a chance to see what we have planned. | 1998-10-07 | |
| | |||
* | Added some notes for Isabelle | 1998-10-07 | |
| | |||
* | Removed some. | 1998-10-07 | |
| | |||
* | Rearranged a bit, added some, removed some. | 1998-10-07 | |
| | |||
* | Found some more... | 1998-10-07 | |
| | |||
* | Added cvsclean back | 1998-10-07 | |
| | |||
* | GIMP Script Fu for batch generating images. | 1998-10-07 | |
| |