History log of /hets/ExtModal/Tries/Try2.het
Revision Date Author Comments Expand
dc62afbf79603699b39b2387f48298634f642e67 12-Nov-2014 cmaeder <cmaeder@users.noreply.github.com>

copied changes for dol-parsing into new branch

39f54506ddf420d74afeeec4065ebf7222aca364 31-Oct-2014 SillyCodeValley <SillyCodeValley@users.noreply.github.com>

Revert "1366 dol parsing"

da42340727c038b89035a78b19dbf816f0a7336c 30-Oct-2014 cmaeder <cmaeder@users.noreply.github.com>

inserted space before =

fb37437497883c33a8a00af9f3bb84bb7350a305 03-May-2013 Till Mossakowski <mossakow@iws.cs.uni-magdeburg.de>

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

83dd30eb7262d89f2bc11d9ed3b3eaeb45d0d745 18-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

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

0cf0e9cce5d3dae79dd9193d00e6ae4f65e937e0 15-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

fixed more parsing wibbles git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15578 cec4b9c1-7d33-0410-9eda-942365e851bb

e1ad3d8dcd33fe91acdffd64989e3e6561eab47a 13-Jul-2011 Christian Maeder <Christian.Maeder@dfki.de>

codruta's test cases git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@15551 cec4b9c1-7d33-0410-9eda-942365e851bb