History log of /hets/doc/newmacros.tex
Revision Date Author Comments Expand
9fc726ee81f01ddb1a25cfc6eac7f2f88ef28e58 16-Dec-2010 Christian Maeder <Christian.Maeder@dfki.de>

adjusted file properties git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14324 cec4b9c1-7d33-0410-9eda-942365e851bb
94f11efe7df61db95c35565db0254e9c6da2995b 19-Sep-2006 Paolo Torrini <paolot@informatik.uni-bremen.de>

contains some latex macros used in hs2isa.tex git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6952 cec4b9c1-7d33-0410-9eda-942365e851bb