{12} Newest Tickets (20 matches)

20 Newest Tickets.

Ticket Summary Component Version Milestone Type Owner Status Created
#51 Add processing direction to 'active script' decorator 1:pg-eclipse enhancement anonymous new Feb 1, 2007
#421 proof-shell-exit raises an exception "Buffer foo.v has no process" 2:pg-emacs PG-Emacs-4.1 defect coquser closed Sep 11, 2011
#406 auto compile bugs when some outputs is done by coqc 2:pg-emacs PG-Emacs-4.2 defect coquser closed May 24, 2011
#486 Disable long indention under quantifiers? 3:pg-broker PG-Emacs-4.3 defect courtieu closed Oct 29, 2013
#474 Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning multiple lines 2:pg-emacs PG-Emacs-4.3 defect courtieu closed Jul 5, 2013
#394 Coq "Library" keyword - incorrect coloring 2:pg-emacs PG-Emacs-4.1 defect courtieu closed Feb 18, 2011
#386 Coq goals counter not reset on backtracking out of proof 2:pg-emacs PG-Emacs-4.1 defect courtieu closed Jan 23, 2011
#296 PG accepts garbage though Coq said "illegal begin of vernac" 2:pg-emacs PG-Emacs-4.2 defect courtieu closed Oct 16, 2009
#159 Goal centering 2:pg-emacs PG-Emacs-4.2 enhancement courtieu closed Nov 7, 2007
#152 Faults with main regexps in XEmacs 21.5(b28) for Coq 2:pg-emacs PG-Emacs-3.7 defect courtieu closed Sep 17, 2007
#140 PG takes a long time printing module types in Coq 2:pg-emacs PG-Emacs-4.0 defect courtieu closed Aug 13, 2007
#119 Fix compilation problems, missing files 2:pg-emacs PG-Emacs-3.7 defect courtieu closed Jun 10, 2007
#505 Fix indentation of lazymatch in Coq 2:pg-emacs PG-Emacs-4.3 enhancement cpitcla closed Apr 25, 2015
#504 Minor fix for coq-is-symbol-or-punct and coq-grab-punctuation-left 2:pg-emacs PG-Emacs-4.3 enhancement cpitcla closed Apr 25, 2015
#514 Emacs org-mode integration 2:pg-emacs PG-Emacs-4.3 enhancement David Aspinall new Aug 1, 2022
#513 Splash screen disappears too quickly 2:pg-emacs PG-Emacs-4.4 defect David Aspinall new May 3, 2016
#512 test.coq target doesn't exist 2:pg-emacs PG-Emacs-4.3 defect David Aspinall closed May 2, 2016
#511 new Coq command "From" supported by PG? 2:pg-emacs PG-Emacs-4.4 defect David Aspinall closed Apr 28, 2016
#510 coq-time-commands hangs on bullets with Coq-8.5 2:pg-emacs PG-Emacs-4.3 defect David Aspinall new Mar 15, 2016
#509 isar/isar-unicode-tokens.el:687:1:Error: the function `isar-markup-ml' is not known to be defined. 2:pg-emacs PG-Emacs-4.3 defect David Aspinall new Feb 2, 2016
Note: See TracReports for help on using and creating reports.