Sun, 13 Feb 2000 20:56:55 +0100 | wenzelm | prf_script commands made proper; | changeset | files |
Sun, 13 Feb 2000 20:54:12 +0100 | wenzelm | refine_end; | changeset | files |
Sun, 13 Feb 2000 20:52:58 +0100 | wenzelm | attrib: keyword_symid; | changeset | files |
Thu, 10 Feb 2000 20:54:40 +0100 | wenzelm | \isabellesimplestyle; | changeset | files |