Timeline
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
TABin 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:
May 9, 2013:
- 4:59 PM Ticket #469 (coqgeneral 4.3pre130327 does not compile with Emacs 24.3) closed by
- duplicate: Thanks for reporting. This is a duplicate of #458. Suggest to use …
Apr 17, 2013:
- 10:57 AM Ticket #469 (coqgeneral 4.3pre130327 does not compile with Emacs 24.3) created by
- I have the following error at compile time: …
Apr 16, 2013:
- 1:08 PM Ticket #67 (Move to Java 6...) closed by
- fixed: Not an issue
- 1:07 PM Ticket #4 (Use stixfonts once they become available) closed by
- fixed: This has been possible for a while. See Sec 4.7 of user manual.
- 1:05 PM WikiStart edited by
- (diff)
- 1:04 PM WikiStart edited by
- (diff)
- 1:03 PM WikiStart edited by
- (diff)
Apr 15, 2013:
- 5:18 PM Ticket #459 (Can not split the window vertically) closed by
- wontfix: Hello, Is your emacs window wide enough? In the current version of …
Apr 10, 2013:
- 11:47 PM Ticket #468 (Some notations with periods make PG hang) created by
- […] Makes PG hang if I try to evaluate to after the 1.
Note: See TracTimeline
for information about the timeline view.
