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 [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
