#249 |
Script management error for locales; undo action failure should not generate markers
|
assigned
|
David Aspinall
|
|
critical
|
|
#94 |
Selecting print mode via interface
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#102 |
Simplify message model according to new RNC, change Isabelle to match
|
new
|
David Aspinall
|
defect
|
minor
|
|
#513 |
Splash screen disappears too quickly
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.4
|
#96 |
Start/stop quiet: disable these and use statedisplay instead
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#54 |
Support file operations save-as, rename, revert properly during script management
|
new
|
David Aspinall
|
defect
|
major
|
|
#44 |
Support openblock/closeblock elements in prover parse output.
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#108 |
Support proof object searching via search dialog
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#107 |
Support text file searching with symbol encoding/decoding
|
new
|
Graham Dutton
|
enhancement
|
minor
|
|
#29 |
Symbol table editing scheme: fix filename and add edit action rather than create
|
new
|
David Aspinall
|
enhancement
|
minor
|
|
#57 |
Symbol table editor problems: doesn't report correct status, apply is very slow
|
new
|
David Aspinall
|
defect
|
minor
|
|
#23 |
Test and refine capabilities/activities
|
new
|
Graham Dutton
|
enhancement
|
minor
|
|
#508 |
The option -emacs-U is depracated Proof General should use -emacs instead.
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#336 |
Toolbar images on Mac Emacsen are super-ugly
|
reopened
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#252 |
Tune script management markers
|
new
|
David Aspinall
|
defect
|
critical
|
|
#149 |
Unify batch and incremental mode of processing
|
new
|
David Aspinall
|
defect
|
major
|
|
#125 |
Use <askprefs> message to configure prover-specific preferences
|
new
|
Graham Dutton
|
enhancement
|
major
|
|
#122 |
Use Batch Build Command and Project Batch Build Command
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#65 |
Use FindBugs to detect possible bugs
|
new
|
David Aspinall
|
task
|
major
|
|
#19 |
Use markers/positions for document processed and locked offsets
|
new
|
David Aspinall
|
defect
|
major
|
|
#256 |
Use prover-specific Preference Initialisers
|
new
|
David Aspinall
|
defect
|
minor
|
|
#45 |
Use workbench progress feedbacks; provide busy indications
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#480 |
[match]es sometimes screw up indentation
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#497 |
coq auto-compile and spaces in directory names lead to failure
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#454 |
coq mode: compile before import fails when no .v file
|
assigned
|
hendrik
|
enhancement
|
major
|
PG-Emacs-4.3
|
#498 |
coq-compile-before-require should allow non-source installations
|
new
|
David Aspinall
|
defect
|
major
|
PG-Emacs-4.3
|
#510 |
coq-time-commands hangs on bullets with Coq-8.5
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#499 |
delays between coq messages can cause PG to duplicate some
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#456 |
initialization failure with defpacustom :eval
|
new
|
David Aspinall
|
defect
|
major
|
PG-Emacs-4.3
|
#509 |
isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined.
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#483 |
ltac: and constr: should not affect indentation
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#464 |
proof script not displayed after startup
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#465 |
proof script not displayed after startup
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#481 |
proof-set-value does not handle errors in :eval forms of defpacustom
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|
#354 |
synchronisation lost with "process rest" and "undo"
|
new
|
David Aspinall
|
defect
|
minor
|
|
#501 |
wrongly embedded pathname in ProofGeneral-4.3pre150202
|
new
|
David Aspinall
|
defect
|
minor
|
PG-Emacs-4.3
|