History log of /hets/utils/words.pl
Revision Date Author Comments Expand
ff8ef439e24b731d473160e9ac94c18630063f63 08-Sep-2010 Christian Maeder <Christian.Maeder@dfki.de>

refactored, recreated, manually corrected key_axiom_map git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@14030 cec4b9c1-7d33-0410-9eda-942365e851bb
a9a5ac69d1d35b1a8f4288f7de005b16589cc0c5 11-Aug-2010 Christian Maeder <Christian.Maeder@dfki.de>

adjusted git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@13868 cec4b9c1-7d33-0410-9eda-942365e851bb
34bff097c14521b5e57ce37279a34256e1f78aa5 25-Jul-2007 Klaus Luettich <luettich@informatik.uni-bremen.de>

changed maintainer git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@8483 cec4b9c1-7d33-0410-9eda-942365e851bb

/hets/ATC/Sml_cats.hs /hets/CASL/Utils.hs /hets/CASL_DL/AS_CASL_DL.der.hs /hets/CASL_DL/Logic_CASL_DL.hs /hets/CASL_DL/PredefinedGlobalAnnos.hs /hets/CASL_DL/PredefinedSign.inline.hs.in /hets/CASL_DL/Print_AS.hs /hets/CASL_DL/Sign.hs /hets/Common/ATerm/Diff.hs /hets/Common/LaTeX_funs.hs /hets/Common/LaTeX_maps.hs /hets/Common/Lib/Pretty.hs /hets/Common/OrderedMap.hs /hets/Common/PrintLaTeX.hs /hets/Common/ProofUtils.hs /hets/Common/Taxonomy.hs /hets/Common/Utils.hs /hets/Comorphisms/CASL2Modal.hs /hets/Comorphisms/CASL2SoftFOL.hs /hets/Comorphisms/CASL2TopSort.inline.hs /hets/Comorphisms/KnownProvers.hs /hets/Comorphisms/Modal2CASL.inline.hs /hets/ConstraintCASL/Print_AS.hs /hets/Driver/ReadFn.hs /hets/Driver/Version.in /hets/GUI/HTkUtils.hs /hets/GUI/ProofManagement.hs /hets/GUI/Taxonomy.hs /hets/Modal/Logic_Modal.hs /hets/Modal/Parse_AS.hs /hets/Modal/Print_AS.hs /hets/Modal/StatAna.hs /hets/SoftFOL/Conversions.hs /hets/SoftFOL/CreateDFGDoc.hs /hets/SoftFOL/Print.hs /hets/SoftFOL/Sign.hs /hets/SoftFOL/Translate.hs /hets/SoftFOL/Utils.hs /hets/Syntax/Print_AS_Architecture.hs /hets/Syntax/Print_AS_Library.hs /hets/Syntax/Print_AS_Structured.hs words.pl
1298b7b9694a48584a3eb01016819c5767c4730a 30-Oct-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

umlauts are escaped now git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@7111 cec4b9c1-7d33-0410-9eda-942365e851bb
3826795df114d8a584132374d84f2ce08d3a3f5f 21-Mar-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

changed isolatin1 package to inputenc package git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6093 cec4b9c1-7d33-0410-9eda-942365e851bb
3ae73283b9596a1567f0f5c5bee932fb0f4611c0 21-Mar-2006 Klaus Luettich <luettich@informatik.uni-bremen.de>

program for the generation of LaTeX_maps.hs git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@6090 cec4b9c1-7d33-0410-9eda-942365e851bb