There is a bug in version 3.7.1-pre080708 whereby the 'i' superscripts
and subscripts are treated incorrectly (and probably also regular
super/sub-scripts). Find attached a patch to fix this.
Simon
isupisub-080708.diff
Description: Binary data
_______________________________________________ ProofGeneral-devel mailing list ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
