Custom Query (361 matches)
Results (16 - 18 of 361)
| Ticket | Owner | Reporter | Resolution | Summary |
|---|---|---|---|---|
| #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. |
|||
| #83 | fixed | Fix script parsing to produce reliable and speedy <parseresult> outputs | ||
| Description |
See Pure/ProofGeneral?/parsing.ML. This is an absolutely essential improvement required for Isabelle2007 to have good PGIP support. |
|||
| #139 | fixed | Prover not started when run from Product | ||
| Description |
Prover does not start when run from a Product configuration, though it starts successfully as a plugin. Exception seems to be generated by the system path management which calls the prover and its tools. |
|||
Note: See TracQuery
for help on using queries.
