Timeline
Jul 24, 2013:
- 7:16 PM Ticket #482 ([lazymatch] should be highlighted and indented like [match]) created by
- Currently, it causes the branches to be deindented, and does not match …
Jul 18, 2013:
Jul 17, 2013:
- 12:18 PM Ticket #467 (The "Time (tactic)." vernacular command no longer displays timings ...) closed by
- fixed: The menu entries are fixed now, such that, when you select "Time …
- 11:12 AM Ticket #481 (proof-set-value does not handle errors in :eval forms of defpacustom) created by
- Hi, proof-set-value evaluates the :eval form when a defpacustom …
Jul 13, 2013:
- 1:49 PM Ticket #480 ([match]es sometimes screw up indentation) created by
- Here is some code poorly indented by TAB: […] The second …
Jul 12, 2013:
- 9:48 PM Ticket #479 ([intros ??.] messes up following indentation) created by
- […] Should not be indented this way. (Adding a space between the …
Jul 10, 2013:
- 5:01 PM Ticket #478 ([Proof <body term>.] messes up following indentation) closed by
- fixed: Thanks, should be fixed in cvs. Proof. Proof with foo. are goal …
- 4:03 PM Ticket #477 ([Proposition] is not highlighted like [Lemma]) closed by
- fixed: Thanks. Fixed.
- 4:03 PM Ticket #476 ([Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have ...) closed by
- fixed: Thanks! Fixed.
- 12:45 PM Ticket #475 ([exists] tactic causes improper indentation) closed by
- fixed: Thanks again for the report. Fixed.
- 12:54 AM Ticket #478 ([Proof <body term>.] messes up following indentation) created by
- The following is some code indented with TAB: […]
- 12:51 AM Ticket #477 ([Proposition] is not highlighted like [Lemma]) created by
- In my version of emacs + PG,
Instance
,Lemma
, etc all get … - 12:50 AM Ticket #476 ([Goal], [Proposition], [Intance], [Fixpoint], [Corollary] do not have ...) created by
- PG indents as follows
[…]
And similarly for
Proposition
, … - 12:46 AM Ticket #475 ([exists] tactic causes improper indentation) created by
- Here is some code indented by
TAB
: […]
Jul 6, 2013:
- 9:16 PM Ticket #474 (Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning ...) closed by
- fixed: Quick fix for &. But I still need a way to deal with all operators, …
- 3:50 PM Ticket #473 (Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.]) closed by
- fixed: Fixed. Thanks for the bug report. I decided to consider all tokens …
Jul 5, 2013:
- 4:26 PM Ticket #474 (Indentation screwed up in sigT notations ("{ _ : _ & _ }") spanning ...) created by
- Here's some code formatted by
TAB
in emacs PG: […] The … - 4:16 PM Ticket #473 (Indentation screwed up by "/." (not by "/ .") in, e.g., [Arguments foo /.]) created by
- The following two blocks of code have been indented by highlighting …
- 3:01 PM Ticket #466 (parentheses in comments should not affect indentation level of ...) closed by
- fixed: Fixed in cvs. Nasty bug due to smie fallback to smie-backward-sexp …
May 22, 2013:
- 9:13 PM Ticket #458 (ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90) closed by
- fixed: I changed the makefile to let warnings be non-fatal for normal …
- 8:07 PM Ticket #472 (texi2pdf loads Proofgeneral.pdf as image) closed by
- fixed: renamed! Hendrik
- 4:36 PM Ticket #468 (Some notations with periods make PG hang) closed by
- wontfix: Argh, using notation which includes the command terminator is almost …
- 4:30 PM Ticket #470 (texinfo 5.1 incompatibility) closed by
- fixed: I've removed the attempt to use the Serifa font now, I don't think I …
- 4:26 PM Ticket #471 (ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz) closed by
- fixed: Good point. Long outdated space-saving measure when people used to …
May 15, 2013:
- 12:03 PM Ticket #472 (texi2pdf loads Proofgeneral.pdf as image) created by
- Hi, I don't know why this happens only now, but under certain …
- 9:05 AM Ticket #471 (ProofGeneral.jpg missing in ProofGeneral-4.3pre130510.tgz) created by
- Hi, with Proofgeneral.jpg missing, it is impossible to rebuild the …
- 8:17 AM Ticket #470 (texinfo 5.1 incompatibility) created by
- Hi, the \def\fontdefs line in ProofGeneral.texi and PG-adapting.texi …
May 10, 2013:
Note: See TracTimeline
for information about the timeline view.