| Wed, 16 Jun 2004 14:56:58 +0200 | paulson | new fib example | changeset | files |
| Wed, 16 Jun 2004 14:56:39 +0200 | paulson | removal of x-symbol syntax <Sigma> for dependent products | changeset | files |
| Tue, 15 Jun 2004 13:24:19 +0200 | wenzelm | ISABELLE_TMP | changeset | files |
| Tue, 15 Jun 2004 13:24:02 +0200 | wenzelm | path instead of string; | changeset | files |
| Tue, 15 Jun 2004 13:23:39 +0200 | wenzelm | added path; | changeset | files |
| Tue, 15 Jun 2004 13:23:23 +0200 | wenzelm | tuned lexical syntax; | changeset | files |
| Tue, 15 Jun 2004 13:22:56 +0200 | wenzelm | num tokens; | changeset | files |
| Tue, 15 Jun 2004 10:47:08 +0200 | paulson | fixed bad link | changeset | files |
| Tue, 15 Jun 2004 10:46:33 +0200 | paulson | slight speed improvement | changeset | files |
| Tue, 15 Jun 2004 10:40:05 +0200 | paulson | strengthened some theorems | changeset | files |
| Tue, 15 Jun 2004 00:50:10 +0200 | webertj | Jerusat settings added | changeset | files |
| Tue, 15 Jun 2004 00:06:40 +0200 | webertj | entries for ZChaff and BerkMin added/modified | changeset | files |
| Mon, 14 Jun 2004 16:46:48 +0200 | chaieb | Oracle corrected | changeset | files |
| Mon, 14 Jun 2004 14:20:55 +0200 | obua | Further development of matrix theory | changeset | files |
| Sun, 13 Jun 2004 17:57:35 +0200 | webertj | faster defcnf conversion | changeset | files |
| Sun, 13 Jun 2004 15:43:55 +0200 | wenzelm | updated; | changeset | files |
| Sun, 13 Jun 2004 15:31:21 +0200 | wenzelm | updated; | changeset | files |
| Sun, 13 Jun 2004 15:31:11 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 13 Jun 2004 15:30:58 +0200 | wenzelm | tuned Present.drafts; | changeset | files |
| Sun, 13 Jun 2004 15:30:08 +0200 | wenzelm | added display_drafts and print_drafts commands; | changeset | files |
| Sun, 13 Jun 2004 15:28:46 +0200 | wenzelm | added PRINT_COMMAND setting | changeset | files |
| Sun, 13 Jun 2004 15:28:30 +0200 | wenzelm | added isatool display and isatool print; | changeset | files |
| Sun, 13 Jun 2004 15:28:19 +0200 | wenzelm | print document | changeset | files |
| Sun, 13 Jun 2004 15:28:12 +0200 | wenzelm | display document (in DVI format) | changeset | files |
| Sat, 12 Jun 2004 22:47:35 +0200 | wenzelm | root for draft documents; | changeset | files |
| Sat, 12 Jun 2004 22:46:51 +0200 | wenzelm | Library.translate_string; | changeset | files |
| Sat, 12 Jun 2004 22:46:39 +0200 | wenzelm | added trace (inefficient for very long input); | changeset | files |
| Sat, 12 Jun 2004 22:46:21 +0200 | wenzelm | added translate_string; | changeset | files |
| Sat, 12 Jun 2004 22:45:59 +0200 | wenzelm | added read (provides transition names and sources); | changeset | files |
| Sat, 12 Jun 2004 22:45:46 +0200 | wenzelm | added output_known_symbols; tuned; | changeset | files |