Custom Query (361 matches)

Hello, I tried proofgeneral on the newly released emacs and it works at first sight but seems to have some problems with long input, like the one produced by this bash script:

function mk { echo "Check fun n, match n with "; s=O; for ((i=0;i<$1;i++)); do 
echo "  | $s => n"; s="(S $s)"; done; echo "  | _ => n end."; } > x.v

Processing x.v for small arguments like $ mk 10 works but for bigger ones like $ mk 100 it blocks without consuming cpu. Weirdly for me the threshold seems to be 42...

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

Hi,

on the development page (http://proofgeneral.inf.ed.ac.uk/devel) the link to the latest user manual (pointing to http://proofgeneral.inf.ed.ac.uk/userman-latest.html) does not work.

Bye,

Hendrik