Mon, 27 Feb 2006 12:20:21 +0100 | ballarin | Typo. | changeset | files |
Mon, 27 Feb 2006 12:14:36 +0100 | urbanc | added support for arbitrary atoms in the simproc | changeset | files |
Sun, 26 Feb 2006 23:01:50 +0100 | wenzelm | put_thms: do_index; | changeset | files |