Timeline
Mar 27, 2013:
- 8:13 PM Ticket #467 (The "Time (tactic)." vernacular command no longer displays timings ...) created by
- It used to be the case (and still is the case in coqtop) that […] …
Mar 20, 2013:
- 3:36 PM Ticket #466 (parentheses in comments should not affect indentation level of ...) created by
- The second
Require Import Eqdep.
should not be indented so far. …
Mar 14, 2013:
- 6:40 AM Ticket #455 (Emacs trunk BZR sometimes hangs when using auto fill mode with PG Coq) closed by
- upstream: The problem boils down to the function
smie-auto-fill
in …
Feb 19, 2013:
- 2:35 PM Ticket #465 (proof script not displayed after startup) created by
- (I'm Dan Grayson <dan@…>) I'm adapting pg under emacs to …
- 2:31 PM Ticket #464 (proof script not displayed after startup) created by
- (I'm Dan Grayson <dan@…>) I'm adapting pg under emacs to …
Feb 13, 2013:
- 3:55 PM Ticket #463 (Warning messages suppress error messages and make PG have incorrect ...) created by
- The code Local Reserved Notation "'Ω'". Record foo := { …
Jan 28, 2013:
- 10:43 AM Ticket #461 (old manuals on website) closed by
- fixed: Fixed, thanks -- I needed to manually update links to latest release …
- 10:37 AM Ticket #462 (Improve library bundling) created by
- (Jonas Bernoulli sent me the following message - David) The …
Jan 24, 2013:
- 5:38 PM DeletingTicketSpam edited by
- (diff)
- 5:36 PM DeletingTicketSpam edited by
- (diff)
- 4:29 PM WikiRestructuredTextLinks edited by
- (diff)
- 4:29 PM TracInstall edited by
- (diff)
- 4:29 PM TracNavigation created by
- 4:29 PM WikiNewPage edited by
- (diff)
- 4:29 PM WikiPageNames edited by
- (diff)
- 4:29 PM TracFineGrainedPermissions created by
- 4:29 PM TracEnvironment edited by
- (diff)
- 4:29 PM WikiRestructuredText edited by
- (diff)
- 4:29 PM TracPermissions edited by
- (diff)
- 4:29 PM TracRss edited by
- (diff)
- 4:29 PM TracStandalone edited by
- (diff)
- 4:29 PM TracBrowser edited by
- (diff)
- 4:29 PM TracGuide edited by
- (diff)
- 4:29 PM InterTrac edited by
- (diff)
- 4:29 PM TracImport edited by
- (diff)
- 4:29 PM TracRevisionLog edited by
- (diff)
- 4:29 PM TracFastCgi edited by
- (diff)
- 4:29 PM TracModWSGI created by
- 4:29 PM TracSupport edited by
- (diff)
- 4:29 PM TracRoadmap edited by
- (diff)
- 4:29 PM TracTicketsCustomFields edited by
- (diff)
- 4:29 PM TracChangeset edited by
- (diff)
- 4:29 PM TracReports edited by
- (diff)
- 4:29 PM WikiFormatting edited by
- (diff)
- 4:29 PM PageTemplates edited by
- (diff)
- 4:29 PM TracNotification edited by
- (diff)
- 4:29 PM TitleIndex edited by
- (diff)
- 4:29 PM TracAdmin edited by
- (diff)
- 4:29 PM TracTickets edited by
- (diff)
- 4:29 PM CamelCase edited by
- (diff)
- 4:29 PM TracCgi edited by
- (diff)
- 4:29 PM RecentChanges edited by
- (diff)
- 4:29 PM TracSyntaxColoring edited by
- (diff)
- 4:29 PM TracAccessibility edited by
- (diff)
- 4:29 PM TracModPython edited by
- (diff)
- 4:29 PM WikiDeletePage edited by
- (diff)
- 4:29 PM TracWiki edited by
- (diff)
- 4:29 PM TracSearch edited by
- (diff)
- 4:29 PM TracUpgrade edited by
- (diff)
- 4:29 PM TracLogging edited by
- (diff)
- 4:29 PM TracInterfaceCustomization edited by
- (diff)
- 4:29 PM TracTimeline edited by
- (diff)
- 4:29 PM WikiHtml edited by
- (diff)
- 4:29 PM TracPlugins edited by
- (diff)
- 4:29 PM TracRepositoryAdmin created by
- 4:29 PM WikiProcessors edited by
- (diff)
- 4:29 PM TracUnicode edited by
- (diff)
- 4:29 PM WikiMacros edited by
- (diff)
- 4:29 PM TracQuery edited by
- (diff)
- 4:29 PM TracBackup edited by
- (diff)
- 4:29 PM TracLinks edited by
- (diff)
- 4:29 PM TracIni edited by
- (diff)
- 4:29 PM InterWiki edited by
- (diff)
- 4:29 PM SandBox edited by
- (diff)
- 4:29 PM TracWorkflow edited by
- (diff)
Jan 21, 2013:
- 8:55 PM Ticket #461 (old manuals on website) created by
- Hi, the PG website still shows the 4.1 version of both manuals (both …
Jan 17, 2013:
- 9:20 AM Ticket #451 (support {} and bullets in prooftree) closed by
- fixed: The necessary changes have been implemented now. Hendrik
Jan 15, 2013:
- 8:41 PM Ticket #460 (proof general hanging on Coq Definition in file generated by Why3) created by
- When I try to process the attached Coq file using ProofGeneral, it …
Note: See TracTimeline
for information about the timeline view.