#106 |
Add support for status area message responses
|
new
|
Graham Dutton
|
defect
|
major
|
|
#108 |
Support proof object searching via search dialog
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#122 |
Use Batch Build Command and Project Batch Build Command
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#125 |
Use <askprefs> message to configure prover-specific preferences
|
new
|
Graham Dutton
|
enhancement
|
major
|
|
#127 |
Fix Action Bar active editor switching; simplify actions
|
assigned
|
David Aspinall
|
defect
|
major
|
|
#132 |
Packaging for 1.0.6/3.4 releases
|
new
|
Graham Dutton
|
task
|
major
|
|
#134 |
Generalise lexing to better match Isar syntax
|
assigned
|
David Aspinall
|
enhancement
|
major
|
|
#135 |
Quick diff symbol decoding broken
|
new
|
David Aspinall
|
defect
|
major
|
|
#136 |
Add compare support for proof scripts
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#142 |
New parsescript code in pgip_parser.ML is broken
|
new
|
David Aspinall
|
defect
|
major
|
|
#145 |
PGIP parser: add string tokens for categories
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#146 |
Add "sendback" messages to match behaviour added to PG Emacs
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#147 |
Add support for (static) code templates inside Isabelle
|
new
|
David Aspinall
|
enhancement
|
major
|
|
#148 |
Add "continual validation" mode to PGIP
|
new
|
David Aspinall
|
defect
|
major
|
|
#149 |
Unify batch and incremental mode of processing
|
new
|
David Aspinall
|
defect
|
major
|
|
#151 |
Make interface multiple-thread aware
|
new
|
David Aspinall
|
defect
|
major
|
|
#169 |
Complete buffer history enhancement
|
assigned
|
David Aspinall
|
enhancement
|
major
|
PG-Emacs-4.3
|
#194 |
Fix links on web pages and odd mime types for linked files under releases
|
new
|
David Aspinall
|
defect
|
major
|
|
#243 |
Parsing errors: whitespace lost in parseresult
|
new
|
David Aspinall
|
defect
|
major
|
|
#247 |
Proof Objects view (IdView) is broken
|
new
|
David Aspinall
|
defect
|
major
|
|
#353 |
"undo last proof command" does not work at the end of theory
|
new
|
David Aspinall
|
defect
|
major
|
|
#377 |
Electric-terminator mode next line movement changed
|
reopened
|
David Aspinall
|
defect
|
major
|
PG-Emacs-4.3
|
#429 |
Coq should support *trace* buffer for idtac output
|
reopened
|
David Aspinall
|
enhancement
|
major
|
PG-Emacs-4.3
|
#454 |
coq mode: compile before import fails when no .v file
|
assigned
|
hendrik
|
enhancement
|
major
|
PG-Emacs-4.3
|
#456 |
initialization failure with defpacustom :eval
|
new
|
David Aspinall
|
defect
|
major
|
PG-Emacs-4.3
|
#498 |
coq-compile-before-require should allow non-source installations
|
new
|
David Aspinall
|
defect
|
major
|
PG-Emacs-4.3
|
#14 |
Concurrency fixes
|
new
|
David Aspinall
|
defect
|
critical
|
|
#38 |
Add automated testing framework
|
new
|
alex heneveld
|
enhancement
|
critical
|
|
#42 |
Extract Isabelle-specific behaviour; design prover extension point
|
new
|
David Aspinall
|
enhancement
|
critical
|
|
#66 |
Make parser more robust and suggest likely causes of error
|
new
|
David Aspinall
|
defect
|
critical
|
|
#246 |
Fix ProofScriptDocument partitionChangeBroadcast
|
new
|
David Aspinall
|
defect
|
critical
|
|
#249 |
Script management error for locales; undo action failure should not generate markers
|
assigned
|
David Aspinall
|
|
critical
|
|
#251 |
Exception in editor startup
|
new
|
David Aspinall
|
defect
|
critical
|
|
#252 |
Tune script management markers
|
new
|
David Aspinall
|
defect
|
critical
|
|
#255 |
Refactor concurrency handling for document
|
new
|
David Aspinall
|
defect
|
critical
|
|
#250 |
Interrupt causes document inconsistency
|
assigned
|
David Aspinall
|
defect
|
blocker
|
|