On Fri, 19 Nov 2010, Brian Huffman wrote:
Fancy report-quality LaTeX syntax is supposed to be a supported feature
of Isabelle document generation. The incompatibility between the ulem
package and the development version of Isabelle is unfortunate, and
hopefully workarounds can be found so that users can continue to use
ulem and other LaTeX packages in the future.
The non-compositionality of LaTeX macro packages is well-known. Every
change on our side inevitably breaks someones setup -- I knew this only
too well when embarking again on the long-standing copy/paste problem.
If anybody can tell me what is wrong on my side, I can amend that.
Yesterday I spent some hours with ulem.sty and got the impression that it
is not fully canonical. I did not notice that its last update is already
10 years ago -- I have the same version from 2000-05-26.
Makarius
_______________________________________________
Isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
