#73 |
Enhancements for Proof Objects view
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#133 |
Enhance proof project nature: add proof project preference, use prover-specifics
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#514 |
Emacs org-mode integration
|
new
|
David Aspinall
|
enhancement
|
minor
|
PG-Emacs-4.3
|
#377 |
Electric-terminator mode next line movement changed
|
reopened
|
David Aspinall
|
defect
|
major
|
PG-Emacs-4.3
|
#27 |
Efficiency problems with larger files and larger outputs
|
new
|
David Aspinall
|
defect
|
major
|
|
#488 |
Display of Ltac debugging mode
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#31 |
Decorators not always updated
|
new
|
Graham Dutton
|
defect
|
minor
|
|
#64 |
Decide what to do with ProverStandalone
|
new
|
alex heneveld
|
task
|
minor
|
|
#429 |
Coq should support *trace* buffer for idtac output
|
reopened
|
David Aspinall
|
enhancement
|
major
|
PG-Emacs-4.3
|
#14 |
Concurrency fixes
|
new
|
David Aspinall
|
defect
|
critical
|
|
#47 |
Complete configuration of <lexicalsyntax> elements
|
assigned
|
David Aspinall
|
enhancement
|
major
|
|
#169 |
Complete buffer history enhancement
|
assigned
|
David Aspinall
|
enhancement
|
major
|
PG-Emacs-4.3
|
#244 |
Comical giant icons in outline view
|
assigned
|
Graham Dutton
|
defect
|
minor
|
|
#39 |
Code cleanups: use tag CLEANUP for old code prior to removal
|
new
|
David Aspinall
|
task
|
minor
|
|
#11 |
Builder for parsing/proving files automatically
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#144 |
Build a hybrid top level that removes PG specific one
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#490 |
Bad parsing of .}
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#240 |
Bad behaviour in startup when proof executables (isabelle, isatool) not found
|
assigned
|
Graham Dutton
|
defect
|
minor
|
|
#496 |
Aquamacs point moving
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#106 |
Add support for status area message responses
|
new
|
Graham Dutton
|
defect
|
major
|
|
#87 |
Add support for indentation in proof script editor
|
new
|
Graham Dutton
|
enhancement
|
major
|
|
#147 |
Add support for (static) code templates inside Isabelle
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#32 |
Add some user documentation
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#101 |
Add scriptreplace and menu choice interaction
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#13 |
Add proof object search facilities to IdView
|
assigned
|
Graham Dutton
|
enhancement
|
minor
|
|
#130 |
Add project batch builder
|
new
|
Graham Dutton
|
enhancement
|
minor
|
|
#51 |
Add processing direction to 'active script' decorator
|
new
|
anonymous
|
enhancement
|
minor
|
|
#104 |
Add preference listener to ProofScriptDocument
|
new
|
David Aspinall
|
defect
|
minor
|
|
#18 |
Add hover for prover output (on any blue space)
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#136 |
Add compare support for proof scripts
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#38 |
Add automated testing framework
|
new
|
alex heneveld
|
enhancement
|
critical
|
|
#76 |
Add Prove-As-You-Type option
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#97 |
Add Pretty.markup to parse tree output
|
new
|
David Aspinall
|
defect
|
minor
|
|
#146 |
Add "sendback" messages to match behaviour added to PG Emacs
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#148 |
Add "continual validation" mode to PGIP
|
new
|
David Aspinall
|
defect
|
major
|
|
#353 |
"undo last proof command" does not work at the end of theory
|
new
|
David Aspinall
|
defect
|
major
|
|