Marcel Kronfeld 52d707f0e0 MK branch revs. 263 & 295: GUI reordering, GP bugfix. Plus minors (JEInterface.m, tex2html)

2009-06-15 13:21:10 +00:00

..

@JEInterface

MK branch revs. 263 & 295: GUI reordering, GP bugfix. Plus minors (JEInterface.m, tex2html)

2009-06-15 13:21:10 +00:00