index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
*
First attempt at using new indentation for Isabelle. Utterly broken.
David Aspinall
2000-06-15
*
Support toolbar in gtk-xemacs
David Aspinall
2000-06-15
*
More comments at top of file
David Aspinall
2000-06-15
*
Web addr note
David Aspinall
2000-06-15
*
Improved some docstrings.
David Aspinall
2000-06-15
*
Elaborated on where to find example file
David Aspinall
2000-06-15
*
new indentation setup;
Makarius Wenzel
2000-06-10
*
Message about packages needed (incomplete)
David Aspinall
2000-06-09
*
Removed spurious requires.
David Aspinall
2000-06-09
*
Updated magic.
David Aspinall
2000-06-09
*
Load a couple more file manually.
David Aspinall
2000-06-09
*
Strange ? got in by accident.
David Aspinall
2000-06-09
*
Set version tag for new release.
David Aspinall
2000-06-09
*
Comment
David Aspinall
2000-06-09
*
Remove toolbar and menubar from windows in multiple frame mode.
David Aspinall
2000-06-09
*
Bug in file colouring
David Aspinall
2000-06-09
*
fixed show_sorts;
Makarius Wenzel
2000-06-09
*
proof-shell-error-regexp;
Makarius Wenzel
2000-06-09
*
new indentation setup;
Makarius Wenzel
2000-06-08
*
new indentation setup;
Makarius Wenzel
2000-06-08
*
isar-keywords-proof-open/close;
Makarius Wenzel
2000-06-08
*
proper indentation;
Makarius Wenzel
2000-06-08
*
adapted to new indentation setup;
Makarius Wenzel
2000-06-08
*
rewrote code from scratch: faster, easier to configure; now enabled by default;
Makarius Wenzel
2000-06-08
*
settings for new indentation setup;
Makarius Wenzel
2000-06-08
*
added proof-looking-at-safe, proof-looking-at-syntactic-context;
Makarius Wenzel
2000-06-08
*
completely new indentation setup: faster, easier to configure;
Makarius Wenzel
2000-06-08
*
basic setup for new indentation code;
Makarius Wenzel
2000-06-08
*
proper indentation;
Makarius Wenzel
2000-06-08
*
Improved indentation code; enabled by default;
Makarius Wenzel
2000-06-08
*
Failed attempted hack to support ML files in isar mode (see comments in isar-...
David Aspinall
2000-06-07
*
Removed disable of simp tracing from enable/disable pr, desired functionality...
David Aspinall
2000-06-07
*
Set version tag for new release.
David Aspinall
2000-06-06
*
todo for C-c C-l to fix point
David Aspinall
2000-06-06
*
Make distclean rather than clean do the CVS pruning.
David Aspinall
2000-06-06
*
Added special hack for Isar to include proof-terminal-char in sent string.
David Aspinall
2000-06-06
*
Allowed ; to terminate a command by including it in regexp for cmdstart
David Aspinall
2000-06-06
*
isar-save-with-hole-regexp: proof-no-regexp;
Makarius Wenzel
2000-06-05
*
proof-indent-commands-regexp: use proof-no-regexp;
Makarius Wenzel
2000-06-05
*
improved isabelle-verbatim-regexp: use \` \' instead of ^ $;
Makarius Wenzel
2000-06-05
*
fixed proof-anchor-regexp: use \` instead of ^;
Makarius Wenzel
2000-06-05
*
Removed defunct comments
David Aspinall
2000-06-05
*
Temporary bug fix to solve nil span error message
David Aspinall
2000-06-05
*
Updated.
David Aspinall
2000-06-05
*
proof-next-error, proof-display-some-buffers
David Aspinall
2000-06-05
*
Added paragraph and index entry explaining prefix arguments,
David Aspinall
2000-06-05
*
Added proof-next-error to menu.
David Aspinall
2000-06-05
*
Added settings for proof-next-error.
David Aspinall
2000-06-05
*
Added miscellaneous commands section, with proof-display-some-buffers
David Aspinall
2000-06-05
*
proof-clean-buffer: clear next error flag if buffer is response.
David Aspinall
2000-06-05
[next]