Timeline
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.