Re: [isabelle] How to use latex commands inside proof?



I have also had problems with comments starting with -- which is why I always use comments contained in (* and *) (this has always worked for me, including backslashes).
--
Prof. W. Douglas Maurer                Washington, DC 20052, USA
Department of Computer Science         Tel. (1-202)994-5921
The George Washington University       Fax  (1-202)994-4875




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.