| 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 |
| Sat, 12 Jun 2004 22:45:35 +0200 | wenzelm | added name_of, source_of, source; | changeset | files |
| Sat, 12 Jun 2004 22:45:18 +0200 | wenzelm | added Present.drafts; | changeset | files |
| Sat, 12 Jun 2004 22:44:58 +0200 | wenzelm | added option 'isatool latex -o syms'; | changeset | files |
| Sat, 12 Jun 2004 13:50:55 +0200 | chaieb | An oracle is built in. The tactic will not generate any proofs any more, if the quick_and_dirty flag is set on. | changeset | files |
| Thu, 10 Jun 2004 20:17:07 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Jun 2004 20:12:49 +0200 | wenzelm | improved RemoteFile; | changeset | files |
| Thu, 10 Jun 2004 20:11:51 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 10 Jun 2004 18:46:35 +0200 | aspinall | Removed this: not really ready yet. | changeset | files |
| Thu, 10 Jun 2004 18:41:47 +0200 | aspinall | Interface configuration for Isar | changeset | files |