| Fri, 16 May 2008 21:53:30 +0200 | wenzelm | removed obsolete option open; | changeset | files |
| Fri, 16 May 2008 21:53:29 +0200 | wenzelm | removed unused make_simple; | changeset | files |
| Fri, 16 May 2008 21:53:27 +0200 | wenzelm | removed obsolete case rule_context; | changeset | files |
| Fri, 16 May 2008 21:41:07 +0200 | huffman | fix looping simplifier | changeset | files |
| Thu, 15 May 2008 22:57:54 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 15 May 2008 22:10:18 +0200 | wenzelm | tuned comment; | changeset | files |
| Thu, 15 May 2008 22:03:32 +0200 | wenzelm | updated version; | changeset | files |