Custom Query (361 matches)
Results (34 - 36 of 361)
Ticket | Resolution | Summary | Owner | Reporter |
---|---|---|---|---|
#511 | invalid | new Coq command "From" supported by PG? | ||
Description |
When trying to use the new Coq command "From" (https://coq.inria.fr/distrib/V8.5pl1/refman/Reference-Manual008.html#hevea_command116), I get: Error: Unknown command of the non proof-editing mode. |
|||
#262 | fixed | make jobserver unavailable | ||
Description |
When trying to run make with multiple jobs, this does not work and leads to a warning: warning: jobserver unavailable: using -j1. Add `+' to parent make rule. This showed up as a QA Notice for ProofGeneral 3.7.1 on Gentoo Linux. A patch has been created by a Gentoo maintainer: http://bugs.gentoo.org/show_bug.cgi?id=259125 I can reproduce it also with ProofGeneral 4.0pre081205. |
|||
#441 | fixed | make -C doc magic fails | ||
Description |
... with Loading /home/tews/src/pg/pghaskell/pghaskell.el (source)... proof-easy-config: PG already in use or name/symbol mismatch proof-assistant name: "PG-Haskell" doesn't match expected "PG-OCaml" make[1]: *** [magic] Error 255 make[1]: Leaving directory `/home/tews/src/pg/doc' make: *** [magic] Error 2 |
Note: See TracQuery
for help on using queries.