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
*
File used to test new parsing mechanism.
David Aspinall
2000-06-01
*
New test files for PG kit.
David Aspinall
2000-06-01
*
Added proof-comment-{start,end}-regexp.
David Aspinall
2000-06-01
*
Updated
David Aspinall
2000-06-01
*
Note about generalizing settings mechanism
David Aspinall
2000-06-01
*
Removed time setting, added proof-assistant-settings-cmd to init string, but ...
David Aspinall
2000-06-01
*
Added a couple of settings for Coq
David Aspinall
2000-06-01
*
Allow two strings for boolean settings to handle non-uniformity in Coq
David Aspinall
2000-06-01
*
Use proof-running-on-XEmacs variable.
David Aspinall
2000-06-01
*
Use proof-running-on-XEmacs variable. Don't set proof-segment-up-to alias if...
David Aspinall
2000-06-01
*
Plea for debugging in FSF Emacs
David Aspinall
2000-06-01
*
Updated, mentioning new parsing function mechanisms
David Aspinall
2000-06-01
*
Remove spurious spaces
David Aspinall
2000-06-01
*
Removed now spurious semicolons, 8-).
David Aspinall
2000-06-01
*
Temporarily removed keywords { and } for new parsing mechanism
David Aspinall
2000-06-01
*
Remove setting of proof-segment-up-to
David Aspinall
2000-06-01
*
New file
David Aspinall
2000-06-01
*
New parsing functions proof-segment-up-to-cmd{start,end}
David Aspinall
2000-06-01
*
Changed 'complete to 'proof-script-complete to use proof-case-fold-search.
David Aspinall
2000-06-01
*
Made require on proof-menu instead of proof-script.
David Aspinall
2000-06-01
*
Use proof-comment-{start,end}-regexp
David Aspinall
2000-06-01
*
Added proof-comment-start-regexp, proof-commend-end-regexp.
David Aspinall
2000-06-01
*
Remove spurious requires.
David Aspinall
2000-06-01
*
Commented out global-timing since it seems to be Isabelle99-1 specific.
David Aspinall
2000-05-31
*
Added old completion table from Isamode. Added code to automatically add com...
David Aspinall
2000-05-31
*
Fix keybinding for completion. Add completion to menubar.
David Aspinall
2000-05-31
*
Added hack to completion.el to avoid adding every prefix as completion.
David Aspinall
2000-05-31
*
Compatibility with completion package.
David Aspinall
2000-05-31
*
Fixes for completion support.
David Aspinall
2000-05-31
*
improved isar-goals-font-lock-keywords;
Makarius Wenzel
2000-05-30
*
Set version tag for new release.
David Aspinall
2000-05-30
*
Added missing command terminators for proof-xsym commands
David Aspinall
2000-05-30
*
Hairy parsing for Isar. Not finished (or working) yet.
David Aspinall
2000-05-30
*
Arg for proof-minibuffer-cmd: compact whitespace in region.
David Aspinall
2000-05-30
*
Fixed typo causing bug. Generic parsing updated (still wip)
David Aspinall
2000-05-30
*
handle 'isa-x-symbol-enable vs. 'isar-x-symbol-enable;
Makarius Wenzel
2000-05-30
*
isar-preprocessing inserts final terminator if none there.
David Aspinall
2000-05-30
*
Change order of checks in proof-shell-live-buffer
David Aspinall
2000-05-30
*
defpacustom global-timing;
Makarius Wenzel
2000-05-30
*
Added process-live-p
David Aspinall
2000-05-30
*
Added proof-script-command-start-regexp. Updated docstrings to reflect that ...
David Aspinall
2000-05-30
*
Tidied
David Aspinall
2000-05-30
*
Added doc of new prefix arg feature for proof-minibuffer-cmd
David Aspinall
2000-05-30
*
Added prefix arg to proof-minibuffer-cmd to insert current region.
David Aspinall
2000-05-30
*
Favourites mechanism now fully implemented, I hope.
David Aspinall
2000-05-29
*
Set version tag for new release.
David Aspinall
2000-05-29
*
Docstring
David Aspinall
2000-05-29
*
Tweak font lock exprs enough for Example.thy
David Aspinall
2000-05-29
*
Font lock exprs for goals buffer like those in Isabelle
David Aspinall
2000-05-29
*
Set settings format function before calculating initial command. Add hilit f...
David Aspinall
2000-05-29
[next]