Custom Query (361 matches)
Results (22 - 24 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #428 | fixed | subsubsection links not working in PG doc | ||
| Description |
Hi, in the Proof General documentation at http://proofgeneral.inf.ed.ac.uk/htmlshow.php?title=Proof+General+user+manual&file=releases%2FProofGeneral%2Fdoc%2FProofGeneral%2FProofGeneral_11.html#Multiple-File-Support the link for "Current Limitations", pointing to subsubsection 10.2.4 does not work. The other links for subsubsections do not work as well. The text of these subsubsections is present and on http://proofgeneral.inf.ed.ac.uk/userman the link to 10.2.4 _does_ work. If I compile the documentation myself and view it on the hard disk, the links do also work. Bye, Hendrik |
|||
| #434 | fixed | phox seems completely broken | ||
| Description |
I installed PhoX 0.88.100524 and tried to step through phox/square-root-2.phx, but nothing works. Looks like the prompt is not recognized... Hendrik |
|||
| #1 | fixed | Try to get trac working for Proof General web | ||
| Description |
Get trac working for Proof General. |
|||
