Do you want to try that?  Watch out for the AUTOMODE-REGEXP optional
   last column (not currently used but was in the past).

Just committed.

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to