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 (
Expand
)
Author
Age
*
renamed proof-commands-regexp to proof-indent-commands-regexp, which
Makarius Wenzel
1999-05-27
*
fixed syntax entry for "_"
Thomas Kleymann
1999-02-03
*
Use proof-string-match in appropriate places
David Aspinall
1999-02-01
*
made many minor changes to the documentation
Thomas Kleymann
1998-12-15
*
fixed bug in lego-shell-adjust-line-width (It now monitors the
Thomas Kleymann
1998-12-14
*
Tidied output by putting newlines before imports done message.
David Aspinall
1998-12-11
*
Added support for proof-shell-restart-cmd
Thomas Kleymann
1998-12-08
*
Replaced proof-pbp-buffer with proof-goals-buffer.
David Aspinall
1998-11-25
*
Note about suspected bug in lego-shell-adjust-line-width.
David Aspinall
1998-11-25
*
Added setting for proof-goal-command-regexp
David Aspinall
1998-11-12
*
Removed references of proof-shell-noise-regexp
Thomas Kleymann
1998-11-10
*
Removed traces of support for Ruy's legogrep. This is superseded by legotags.
Thomas Kleymann
1998-11-10
*
new maintainer for LEGO Proof General
Thomas Kleymann
1998-11-06
*
completed chapter on LEGO Proof General
Thomas Kleymann
1998-11-05
*
fixed minor bugs
Thomas Kleymann
1998-11-02
*
o added support for byte-compilation
Thomas Kleymann
1998-11-01
*
implemented new buffer model. The goals buffer is now exclusively
Thomas Kleymann
1998-10-30
*
More hacks to variable names for customize (sorry)
David Aspinall
1998-10-29
*
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
*
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
*
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