Prover support tasks (17 matches)

These tasks are for work required in supporting components for connecting provers to Proof General, e.g., the ProofGeneral code inside Isabelle. Note that although the milestones are set by those for Proof General Eclipse, these reports include those for Proof General Emacs support.

Filters
 
Or
 
  
 
Columns

Show under each result:


Milestone: None (17 matches)

Ticket Summary Status Owner Type Priority Created
#93 Propagate position information in errors to make available to interface new David Aspinall defect major 17 years ago
#98 PGML changes: complete update for PGML 2.0 new David Aspinall defect major 17 years ago
#99 Reliable interrupts new David Aspinall defect major 17 years ago
#100 Make sure that large volumes of data can be handled by all parts of infrastructure new David Aspinall defect major 17 years ago
#142 New parsescript code in pgip_parser.ML is broken new David Aspinall defect major 17 years ago
#145 PGIP parser: add string tokens for categories new David Aspinall enhancement major 17 years ago
#147 Add support for (static) code templates inside Isabelle new David Aspinall enhancement major 17 years ago
#149 Unify batch and incremental mode of processing new David Aspinall defect major 17 years ago
#151 Make interface multiple-thread aware new David Aspinall defect major 17 years ago
#89 Remove tabs from Isabelle source files (theories, at least) new David Aspinall defect minor 17 years ago
#95 Refine spuriouscmd into two: destructivecmd and diagnosticcmd new David Aspinall defect minor 17 years ago
#96 Start/stop quiet: disable these and use statedisplay instead new David Aspinall enhancement minor 17 years ago
#97 Add Pretty.markup to parse tree output new David Aspinall defect minor 17 years ago
#102 Simplify message model according to new RNC, change Isabelle to match new David Aspinall defect minor 17 years ago
#144 Build a hybrid top level that removes PG specific one new David Aspinall enhancement minor 17 years ago
#150 Remove use of PGIP message datatypes new David Aspinall defect minor 17 years ago
#260 Path names with spaces are not decoded property on search path new David Aspinall defect minor 15 years ago
Note: See TracQuery for help on using queries.