index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lego
/
lego.el
Commit message (
Collapse
)
Author
Age
...
*
Moved pbp-goal-command and pbp-hyp-command to proof-config.Moved LEGO specifix.
David Aspinall
1998-10-27
|
*
Begun work on clean byte compilation / clarifying interfaces.
David Aspinall
1998-10-27
|
*
Added proof-mode-for-script setting.
David Aspinall
1998-10-23
|
*
Changed from forcing w3 to using customizable browse-url
David Aspinall
1998-10-21
|
*
Changed fset to setq, removed retract-command mention (for now?).
David Aspinall
1998-10-21
|
*
Reimplemented multiple file proof developments
Thomas Kleymann
1998-10-18
|
*
Removed setq proof-assistant
David Aspinall
1998-10-12
|
*
Removed lego-settings defgroup, changed to lego.
David Aspinall
1998-10-07
|
|
|
|
|
Removed {lego,proof}-assistant setting (now automatic) Removed {lego,proof}-global-p settings (proof now allows nil).
*
changed maintainer information to lego@dcs and isabelle@dcs .
Thomas Kleymann
1998-10-02
|
*
added LEGO support for proof-goal-command and proof-save-command
Thomas Kleymann
1998-10-02
|
*
Updated maintainer tags to remove lego email address.
David Aspinall
1998-10-01
|
*
Replaced string COMMENT by constant proof-no-command.
David Aspinall
1998-10-01
|
*
Changed customization group name
David Aspinall
1998-09-23
|
*
Fixed docstrings for derived modes
David Aspinall
1998-09-22
|
*
Reimplemented proof-shell-popup-eager-annotation
Thomas Kleymann
1998-09-15
|
|
|
|
These are no longer displayed in the *GOALS* buffer.
*
Added Id to headers.
David Aspinall
1998-09-09
|
*
Added some defcustom support
David Aspinall
1998-09-03
|
*
Renamed for new subdirectory structure
David Aspinall
1998-09-03
[prev]