| Sun, 28 Aug 2005 16:04:47 +0200 | wenzelm | removed unused dest operation; | changeset | files |
| Sun, 28 Aug 2005 16:04:46 +0200 | wenzelm | export theorems_of; | changeset | files |
| Sun, 28 Aug 2005 16:04:45 +0200 | wenzelm | tuned some proofs; | changeset | files |
| Sun, 28 Aug 2005 16:04:44 +0200 | wenzelm | removed obsolete arities; | changeset | files |
| Sun, 28 Aug 2005 16:04:43 +0200 | wenzelm | tuned size of included graph; | changeset | files |
| Sun, 28 Aug 2005 16:04:42 +0200 | wenzelm | added \isachardoublequoteopen/close, \isacharbackquoteopen/close; | changeset | files |
| Sun, 28 Aug 2005 10:08:36 +0200 | haftmann | (branch cleanup) | changeset | files |