index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Collapse
)
Author
Age
...
*
Changed name to proof-shell-inform-file-processed-cmd
David Aspinall
1999-10-21
|
*
Revised bug section for Isabelle multiple file note.
David Aspinall
1999-10-21
|
*
Added proof-shell-inform-file-processed-command setting.
David Aspinall
1999-10-21
|
*
docstring
David Aspinall
1999-10-21
|
*
A couple of comint symbols are mentioned in the docs
David Aspinall
1999-10-21
|
*
Updated for new screenshot
David Aspinall
1999-10-21
|
*
New screenshot
David Aspinall
1999-10-21
|
*
Fixes.
David Aspinall
1999-10-20
|
*
Fixed crossrefs.
David Aspinall
1999-10-20
|
*
Set version tag for new release.
David Aspinall
1999-10-20
|
*
Comments in proof-complete-buffer-atomic.
David Aspinall
1999-10-20
|
*
Add isa-shell-update-thy at the end of proof-activate-scripting-hook.
David Aspinall
1999-10-20
|
*
Updated with further issues raised by ever eager Munich folk.
David Aspinall
1999-10-20
|
*
Minor change for testing.
David Aspinall
1999-10-20
|
*
Made proof-site only load once.
David Aspinall
1999-10-20
|
*
theory loader actions now that of PG/isa;
Makarius Wenzel
1999-10-20
|
*
added ML_command;
Makarius Wenzel
1999-10-20
|
*
added isar-detect-header;
Makarius Wenzel
1999-10-19
|
|
|
|
tuned;
*
Added uncaught exception to error-regexp
David Aspinall
1999-10-19
|
*
Rename proof-mark-buffer-atomic -> proof-complete-buffer-atomic. make magic
David Aspinall
1999-10-19
|
*
Issues added after report from DvO.
David Aspinall
1999-10-19
|
*
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic.
David Aspinall
1999-10-19
|
*
Rename proof-mark-buffer-atomic->proof-complete-buffer-atomic. Fix to only ↵
David Aspinall
1999-10-19
|
|
|
|
close off to (proof-script-end), not (point-max).
*
Deactivate scripting before retracting a theory file. Fix for DvO's report.
David Aspinall
1999-10-19
|
*
Missing cursor move
David Aspinall
1999-10-18
|
*
Note about queue improvements.
David Aspinall
1999-10-15
|
*
Fixed bug
David Aspinall
1999-10-15
|
*
FIRST ATTEMPT AT CANY QUEUE HANDLING. Extending regions when advancing patch.
David Aspinall
1999-10-15
|
*
Docstring improvements
David Aspinall
1999-10-15
|
*
Updated
David Aspinall
1999-10-15
|
*
Doc fixes, php streamlining
David Aspinall
1999-10-15
|
*
Whitespace
David Aspinall
1999-10-15
|
*
Failed attempt to fix sentinel problem
David Aspinall
1999-10-15
|
*
comments added.
David Aspinall
1999-10-15
|
*
Formatting
David Aspinall
1999-10-15
|
*
let PROOFGENERAL_ASSISTANTS control isa vs. isar selection;
Makarius Wenzel
1999-10-15
|
*
Disabled proliferation of proof shell buffers.
David Aspinall
1999-10-15
|
*
Set version tag for new release.
David Aspinall
1999-10-14
|
*
Version 3.0 message
David Aspinall
1999-10-14
|
*
Docstring
David Aspinall
1999-10-14
|
*
Fix missing save-excursion causing bug with proof-process-buffer.
David Aspinall
1999-10-14
|
*
renamed verbatim/verb to text_raw/txt_raw;
Makarius Wenzel
1999-10-14
|
*
Removed note about probs with update()
David Aspinall
1999-10-12
|
*
Wording
David Aspinall
1999-10-12
|
*
Note about author added, removed signatures.
David Aspinall
1999-10-12
|
*
This a try for commit, just changed the name of the maintainer of coq.el
Pierre Courtieu
1999-10-12
|
|
|
|
by my name Pierre Courtieu.
*
New Coq maintainer.
David Aspinall
1999-10-12
|
*
Updated
David Aspinall
1999-10-12
|
*
Added message for reporting problems to splash screen.
David Aspinall
1999-10-12
|
*
Set version tag for new release.
David Aspinall
1999-10-12
|
[prev]
[next]