{6} All Tickets By Milestone (Including closed) (510 matches)

A more complex example to show how to make advanced reports.

Results (301 - 400 of 510)

← 1 2 3 4 5 6 →

PG-Emacs-3.7.1 (11 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#213 Carbon Emacs: strange unicode abbreviations 2:pg-emacs closed fixed defect major David Aspinall Jul 7, 2008
#203 Carbon Emacs: no colouring of variables in Isabelle output 2:pg-emacs closed duplicate defect major David Aspinall Jul 7, 2008
#212 Carbon Emacs: strange unicode abbreviations 2:pg-emacs closed duplicate defect major David Aspinall Jul 7, 2008
#207 dir symbol is void on leopard coq 2:pg-emacs closed fixed defect major David Aspinall Jul 5, 2008
#210 input of symbols in Carbon Emacs 2:pg-emacs closed fixed enhancement major David Aspinall Jul 5, 2008
#209 Cursor not visible in *response* buffer (GNU Emacs 22 + Carbon Emacs) 2:pg-emacs closed fixed defect major David Aspinall Jul 5, 2008
#204 undo stops undoing in large proofs 2:pg-emacs closed fixed defect major David Aspinall Feb 17, 2008
#201 X-Symbol only half enabled (Emacs: yes, prover: no) 2:pg-emacs closed fixed defect major David Aspinall Feb 17, 2008
#202 Prover chokes on Unicode Tokens (Carbon Emacs) 2:pg-emacs closed fixed defect major David Aspinall Feb 17, 2008
#197 Non-persistance of Unicode Tokens / Math Menu (Carbon Emacs 1.6.0) 2:pg-emacs closed fixed defect major David Aspinall Feb 6, 2008
#118 Complete X-Symbol unicode patch and add symbol configuration for Isabelle 2:pg-emacs closed wontfix enhancement major David Aspinall Jan 30, 2008

PG-Emacs-3.7 (39 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#163 Problems with x-symbol in XEmacs 21.5.28 (latin-iso8859-2 error) 2:pg-emacs closed fixed defect major David Aspinall Apr 26, 2010
#74 Coq: bug in electric terminator: typing '.' in comment causes comment to be sent and locked 2:pg-emacs closed wontfix defect major David Aspinall Apr 26, 2010
#165 Cygwin: font-lock crashes on XEmacs 21.4.20 2:pg-emacs closed wontfix defect major David Aspinall Jul 5, 2008
#109 Missing output from Coq 2:pg-emacs closed fixed defect major David Aspinall Jun 21, 2008
#184 lib/maths-menu.el doesn't compile on XEmacs 21.4 2:pg-emacs closed fixed defect major David Aspinall Jan 29, 2008
#178 Emacs occasionally hangs when doing isearch-forward. 2:pg-emacs closed worksforme defect major David Aspinall Jan 29, 2008
#189 Undo does not work for diagnostic commands in proofs 4:prover-isabelle closed fixed defect major David Aspinall Jan 29, 2008
#186 Failed initialization of *trace* buffer (xemacs-21.4.x) 2:pg-emacs closed duplicate defect major David Aspinall Jan 29, 2008
#183 ProofGeneral crashes when displaying tracing messages 4:prover-isabelle closed fixed defect major David Aspinall Jan 29, 2008
#185 Failed initialization of *trace* buffer (xemacs-21.4.x) 2:pg-emacs closed duplicate defect major David Aspinall Jan 28, 2008
#181 Strange font-lock warning/error in GNU Emacs 21.4.1 (Ubuntu 7.10) 2:pg-emacs closed fixed defect minor David Aspinall Jan 27, 2008
#182 Problem with sub/superscript in GNU Emacs 21.4.1 (Ubuntu 7.10) 2:pg-emacs closed fixed defect major David Aspinall Jan 27, 2008
#180 Sub/superscript sometimes not rendered properly. 2:pg-emacs closed fixed defect major David Aspinall Jan 25, 2008
#175 ProofGeneral accidentally resets itself while scrolling 4:prover-isabelle closed fixed defect major David Aspinall Jan 25, 2008
#174 Unable to exit prover 4:prover-isabelle closed fixed defect major David Aspinall Jan 25, 2008
#173 coq indenting mode gets confused by *) in proofs 2:pg-emacs closed fixed defect minor David Aspinall Jan 25, 2008
#172 Problem with indentation in Coq mode 2:pg-emacs closed fixed defect minor David Aspinall Jan 24, 2008
#171 Documentation fix for Isabelle keybindings 6:web-and-docs closed fixed defect minor David Aspinall Jan 24, 2008
#113 Coq commands not described in coq/coq-syntax.el 2:pg-emacs closed fixed defect minor David Aspinall Jan 15, 2008
#119 Fix compilation problems, missing files 2:pg-emacs closed fixed defect major courtieu Jan 15, 2008
#161 The font-lock setup misbehaves when started via menu 2:pg-emacs closed fixed defect major David Aspinall Jan 15, 2008
#120 Fix docstring magic to interpret blank lines as whitespace inside verbatim regions 2:pg-emacs closed fixed defect major David Aspinall Dec 14, 2007
#112 Filter out control characters in shell buffer or copy from shell buffer 2:pg-emacs closed fixed defect major David Aspinall Dec 14, 2007
#88 Buffer invisibility spec bug with Emacs 22 2:pg-emacs closed worksforme defect major David Aspinall Dec 13, 2007
#129 X-Symbol in GNU Emacs: fix support for hiding tokens \<^loc>, \<bsub>, etc 2:pg-emacs closed fixed defect major David Aspinall Dec 13, 2007
#117 Add resized toolbar icons 2:pg-emacs closed fixed task minor David Aspinall Dec 13, 2007
#164 Error with GNU Emacs 21.4.1/C-c C-BS 2:pg-emacs closed wontfix defect major David Aspinall Dec 9, 2007
#152 Faults with main regexps in XEmacs 21.5(b28) for Coq 2:pg-emacs closed fixed defect major courtieu Dec 9, 2007
#167 GNU Emacs 22.1.1 allows only one undo in a row from the toolbar while C-c C-u works 2:pg-emacs closed invalid defect minor David Aspinall Dec 8, 2007
#121 Add download counter to web 6:web-and-docs closed fixed enhancement major Graham Dutton Nov 16, 2007
#162 Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28 4:prover-isabelle closed invalid defect major David Aspinall Nov 14, 2007
#160 "Abort" keyword not recognized in Coq 2:pg-emacs closed fixed defect minor David Aspinall Nov 12, 2007
#141 Warnings missing in proof mode in Coq 2:pg-emacs closed worksforme defect major David Aspinall Sep 17, 2007
#116 Coq syntax highlighting: identifiers starting with "fun" are wrongly coloured 2:pg-emacs closed fixed defect trivial David Aspinall May 25, 2007
#115 Isabelle find-theorems form 2:pg-emacs closed fixed enhancement major David Aspinall May 11, 2007
#114 Spurious "replaced xyz occurrences" messages 2:pg-emacs closed fixed defect major David Aspinall May 10, 2007
#111 Centering the goal window on the right part of the goals 2:pg-emacs closed fixed defect major David Aspinall Apr 23, 2007
#110 Search Rewrite and Search About queries for Proof General/Coq 2:pg-emacs closed fixed defect major David Aspinall Apr 23, 2007
#103 Add ASCII markup communication for Coq (fix UTF8 stream/FAQ no.1) 7:prover-coq closed fixed enhancement major David Aspinall Mar 17, 2007

(empty) (50 matches)

Ticket Summary Component Status Resolution Version Type Priority Owner Modified
#194 Fix links on web pages and odd mime types for linked files under releases 6:web-and-docs new defect major David Aspinall Feb 22, 2010
#195 Replace crufty PHP code for interpreting outline mode with some Javascript 6:web-and-docs new enhancement minor David Aspinall Feb 22, 2010
#488 Display of Ltac debugging mode 2:pg-emacs new enhancement minor David Aspinall Jan 9, 2014
#380 Downloaded bytecode buggy? 2:pg-emacs closed fixed defect major David Aspinall Dec 10, 2010
#1 Try to get trac working for Proof General web 6:web-and-docs closed fixed enhancement major David Aspinall Jun 20, 2008
#52 An issue with current version of Trac 6:web-and-docs closed fixed defect minor David Aspinall Jul 5, 2007
#68 Move to Eclipse 3.3 at 3.3M5 1:pg-eclipse closed fixed task major David Aspinall Jul 5, 2007
#48 Support editing proof script files outside workspace 1:pg-eclipse closed wontfix defect minor David Aspinall Jan 30, 2007
#250 Interrupt causes document inconsistency 1:pg-eclipse assigned defect blocker David Aspinall Apr 16, 2013
#14 Concurrency fixes 1:pg-eclipse new defect critical David Aspinall Apr 16, 2013
#38 Add automated testing framework 1:pg-eclipse new enhancement critical alex heneveld Apr 16, 2013
#42 Extract Isabelle-specific behaviour; design prover extension point 1:pg-eclipse new enhancement critical David Aspinall Apr 16, 2013
#66 Make parser more robust and suggest likely causes of error 1:pg-eclipse new defect critical David Aspinall Apr 16, 2013
#246 Fix ProofScriptDocument partitionChangeBroadcast 1:pg-eclipse new defect critical David Aspinall Apr 16, 2013
#249 Script management error for locales; undo action failure should not generate markers 1:pg-eclipse assigned critical David Aspinall Apr 16, 2013
#251 Exception in editor startup 1:pg-eclipse new defect critical David Aspinall Apr 16, 2013
#252 Tune script management markers 1:pg-eclipse new defect critical David Aspinall Apr 16, 2013
#255 Refactor concurrency handling for document 1:pg-eclipse new defect critical David Aspinall Apr 16, 2013
#3 Improve code quality: address J2SE best practices in TPTP analysis 1:pg-eclipse new task major somebody Apr 16, 2013
#5 Replace ThreadPool with Eclipse job management 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#10 Refactor and enhance document model 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#19 Use markers/positions for document processed and locked offsets 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#21 Refactor to remove DummyDocElement 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#26 Investigate and fix small-scale efficiency problems (e.g. undo in small-ish files) 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#27 Efficiency problems with larger files and larger outputs 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#33 Fix interrupts: interrupt crashes prover and interrupt ineffective 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#34 Event processing cleanups 1:pg-eclipse assigned task major David Aspinall Apr 16, 2013
#35 Implement Java PGIP abstraction, independently of Eclipse code 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#37 ProverKnowledge updates and improvements 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#40 Implement document regions and annotations/markers for colouring 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#41 Revive GEF dependency graph viewer as a separate plugin 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#44 Support openblock/closeblock elements in prover parse output. 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#45 Use workbench progress feedbacks; provide busy indications 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#47 Complete configuration of <lexicalsyntax> elements 1:pg-eclipse assigned enhancement major David Aspinall Apr 16, 2013
#54 Support file operations save-as, rename, revert properly during script management 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#55 Parsing whole file is costly; lazy "gathering" parser strategy is flawed 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#65 Use FindBugs to detect possible bugs 1:pg-eclipse new task major David Aspinall Apr 16, 2013
#73 Enhancements for Proof Objects view 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#75 Proof Script Editor context menu improvements 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#76 Add Prove-As-You-Type option 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#77 Partitioning: fix for correct lexical syntax of Isar 1:pg-eclipse new defect major Graham Dutton Apr 16, 2013
#79 Improve symbols: support table inclusions; add Mac and Windows overrides 1:pg-eclipse new enhancement major David Aspinall Apr 16, 2013
#87 Add support for indentation in proof script editor 1:pg-eclipse new enhancement major Graham Dutton Apr 16, 2013
#90 Folding Improvements 1:pg-eclipse new defect major David Aspinall Apr 16, 2013
#93 Propagate position information in errors to make available to interface 4:prover-isabelle new defect major David Aspinall Apr 16, 2013
#98 PGML changes: complete update for PGML 2.0 4:prover-isabelle new defect major David Aspinall Apr 16, 2013
#99 Reliable interrupts 4:prover-isabelle new defect major David Aspinall Apr 16, 2013
#100 Make sure that large volumes of data can be handled by all parts of infrastructure 4:prover-isabelle new defect major David Aspinall Apr 16, 2013
#101 Add scriptreplace and menu choice interaction 5:PGIP-design new enhancement major David Aspinall Apr 16, 2013
#106 Add support for status area message responses 1:pg-eclipse new defect major Graham Dutton Apr 16, 2013
← 1 2 3 4 5 6 →
Note: See TracReports for help on using and creating reports.