Custom Query (361 matches)
Results (28 - 30 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#470 | fixed | texinfo 5.1 incompatibility | ||
Description |
Hi, the \def\fontdefs line in ProofGeneral.texi and PG-adapting.texi cause an error with texinfo 5.1. It says about 20 times
What is this fontdefs line responsible for? Does anybody know a fix besides of deleting this line? Bye, Hendrik |
|||
#469 | duplicate | coqgeneral 4.3pre130327 does not compile with Emacs 24.3 | ||
Description |
I have the following error at compile time:
generic/pg-response.el:104:23:Error: |
|||
#468 | wontfix | Some notations with periods make PG hang | ||
Description |
Notation "a . 1" := (proj1_sig a) (at level 10). Check (exist (fun x => x = x) 1 eq_refl) . 1. Makes PG hang if I try to evaluate to after the 1. |
Note: See TracQuery
for help on using queries.