Mon, 21 Aug 2000 19:17:07 +0200 | wenzelm | updated; | changeset | files |
Mon, 21 Aug 2000 19:03:58 +0200 | wenzelm | updated; | changeset | files |
Mon, 21 Aug 2000 18:49:38 +0200 | wenzelm | tuned translations; | changeset | files |
Mon, 21 Aug 2000 18:45:29 +0200 | nipkow | *** empty log message *** | changeset | files |
Mon, 21 Aug 2000 18:40:30 +0200 | wenzelm | added \isastyleminor; | changeset | files |
Mon, 21 Aug 2000 18:38:27 +0200 | wenzelm | more \isachars; | changeset | files |
Mon, 21 Aug 2000 18:16:47 +0200 | wenzelm | fixed has_meta_prems: strip_assums_hyp; | changeset | files |