Custom Query (253 matches)

Filters
 
Or
 
  
 
Columns

Show under each result:

Results (201 - 253 of 253)

← 1 2 3
Ticket Summary Owner Type Priority Milestone Component
#500 Build fails, due to “'isar-markup-ml' is not known to be defined.” (PG 4.2, Mac OS 10.10.2, Aquamacs 3.2) David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#502 Latest Makefile change breaks things everywhere except Mac David Aspinall defect blocker PG-Emacs-4.3 2:pg-emacs
#503 Some coq output get lost for query processed just after an error stops the queue. David Aspinall defect minor PG-Emacs-4.3 2:pg-emacs
#512 test.coq target doesn't exist David Aspinall defect major PG-Emacs-4.3 2:pg-emacs
#1 Try to get trac working for Proof General web David Aspinall enhancement major 6:web-and-docs
#4 Use stixfonts once they become available David Aspinall enhancement major PG-Emacs-4.3 1:pg-eclipse
#6 Add code folding for proof scripts David Aspinall enhancement major 1:pg-eclipse
#7 Finish proof explorer: inherit decorators, menus, etc. from Project Explorer. Graham Dutton enhancement major 1:pg-eclipse
#36 Split stream for console into input/output and give input a different colour. David Aspinall enhancement minor 1:pg-eclipse
#63 Improve symbols: fill out default table, add ascii-symbol completion David Aspinall enhancement major 1:pg-eclipse
#71 Add Error Decoration to documents; optimise Active Script Decoration Graham Dutton enhancement major 1:pg-eclipse
#78 Preferences: support dynamically computed defaults David Aspinall enhancement trivial 1:pg-eclipse
#103 Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) David Aspinall enhancement major PG-Emacs-3.7 7:prover-coq
#115 Isabelle find-theorems form David Aspinall enhancement major PG-Emacs-3.7 2:pg-emacs
#121 Add download counter to web Graham Dutton enhancement major PG-Emacs-3.7 6:web-and-docs
#131 Add preference setting for interrupt command David Aspinall enhancement minor 1:pg-eclipse
#137 Add output highlighting/insert support for Isar and sledgehammer ("Sendback") David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#143 Add XML/PGIP test scripts to Isabelle/Admin distribution David Aspinall enhancement major 4:prover-isabelle
#170 Improve outline syntax for Isar David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#176 Allow isabelle-chosen-logic to be set by variable comment in thy file David Aspinall enhancement minor PG-Emacs-3.7.1 2:pg-emacs
#177 Complete Unicode Token coding system and input method David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#187 If sent command fails, don't move the cursor. David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#188 Option to treat comments as individual statements. David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#199 Allow use of Isabelle.command to wrap commands singly David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#210 input of symbols in Carbon Emacs David Aspinall enhancement major PG-Emacs-3.7.1 2:pg-emacs
#211 Coq : deactivation of the 'Holes' functionality David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#227 Recover active scripting modeline indicator David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#229 Restore mouse and button actions in goals buffers David Aspinall enhancement minor PG-Emacs-4.0 2:pg-emacs
#232 Add documentation for Unicode Tokens mode David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#234 unicode-tokens: add command to highlight unicode characters David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#242 Fix intro configuration (welcome page) Graham Dutton enhancement major 1:pg-eclipse
#280 Unicode Tokens: cleanups David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#331 Coq config for proof-goal-command and proof-save-command David Aspinall enhancement minor PG-Emacs-4.0 7:prover-coq
#341 Suggestion to recover the default C-h suffix for Emacs keys help David Aspinall enhancement major PG-Emacs-4.0 2:pg-emacs
#347 Slight change in proof-store-buffer-win to enable undo in the Notepad David Aspinall enhancement minor PG-Emacs-4.0 7:prover-coq
#357 Feature suggestion: function + binding to insert Coq closing tactics David Aspinall enhancement major PG-Emacs-4.1 7:prover-coq
#422 Support for entering ellipsis in electric terminator mode David Aspinall enhancement minor PG-Emacs-4.1 2:pg-emacs
#430 Make "Set Ltac Debug" work David Aspinall enhancement major PG-Emacs-4.2 2:pg-emacs
#504 Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left cpitcla enhancement minor PG-Emacs-4.3 2:pg-emacs
#505 Fix indentation of lazymatch in Coq cpitcla enhancement minor PG-Emacs-4.3 2:pg-emacs
#67 Move to Java 6... David Aspinall task minor PG-Emacs-4.3 1:pg-eclipse
#68 Move to Eclipse 3.3 at 3.3M5 David Aspinall task major 1:pg-eclipse
#70 Add documentation for developer-recommended plugins David Aspinall task major 6:web-and-docs
#117 Add resized toolbar icons David Aspinall task minor PG-Emacs-3.7 2:pg-emacs
#153 is "proof state" view needed anymore? David Aspinall task minor 1:pg-eclipse
#168 Reorganise TODO files in distribution David Aspinall task minor PG-Emacs-4.1 2:pg-emacs
#191 Code cleanup: remove proof-no-command David Aspinall task minor PG-Emacs-4.0 2:pg-emacs
#220 Remove X-Symbol, XEmacs support and backward compatibility David Aspinall task blocker PG-Emacs-4.0 2:pg-emacs
#376 Enable and complete testing of parser cache, add to user options menu David Aspinall task major PG-Emacs-4.1 2:pg-emacs
#432 Add documentation of *trace* buffer to PG Adapting manual David Aspinall task major PG-Emacs-4.2 2:pg-emacs
#241 Fix link parse and undo for <whitespace> elements. David Aspinall blocker 1:pg-eclipse
#245 Script management: parsing protocol error David Aspinall blocker 1:pg-eclipse
#248 Clear error markers at correct points (e.g., when processing text successfully) Graham Dutton major 1:pg-eclipse
← 1 2 3
Note: See TracQuery for help on using queries.