| 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 |
| 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 |
| Wed, 09 Jun 2004 20:24:32 +0200 | wenzelm | Sign.is_logtype; | changeset | files |
| Wed, 09 Jun 2004 18:57:18 +0200 | wenzelm | prs: Output.output; | changeset | files |
| Wed, 09 Jun 2004 18:56:55 +0200 | wenzelm | added split_ext; removed drop_ext; | changeset | files |
| Wed, 09 Jun 2004 18:56:47 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 09 Jun 2004 18:56:38 +0200 | wenzelm | Scan.this_string; | changeset | files |
| Wed, 09 Jun 2004 18:56:30 +0200 | wenzelm | tuned representation; added RemoteFile; | changeset | files |
| Wed, 09 Jun 2004 18:56:21 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 09 Jun 2004 18:56:09 +0200 | wenzelm | added this_string; | changeset | files |
| Wed, 09 Jun 2004 18:55:28 +0200 | wenzelm | tuned messages; | changeset | files |
| Wed, 09 Jun 2004 18:55:07 +0200 | wenzelm | added is_logtype (replaces logtypes field of syntax); tuned merge; | changeset | files |
| Wed, 09 Jun 2004 18:54:43 +0200 | wenzelm | removed separate logtypes field of syntax; removed test_read, simple_str_of_sort, simple_string_of_typ; provide default_mode; | changeset | files |
| Wed, 09 Jun 2004 18:54:26 +0200 | wenzelm | removed separate logtypes field of syntax; | changeset | files |
| Wed, 09 Jun 2004 18:54:07 +0200 | wenzelm | Path.split_ext; more robust inform_file_processed; | changeset | files |
| Wed, 09 Jun 2004 18:53:41 +0200 | wenzelm | Sign.is_logtype; | changeset | files |
| Wed, 09 Jun 2004 18:53:13 +0200 | wenzelm | Syntax.default_mode; | changeset | files |
| Wed, 09 Jun 2004 18:52:55 +0200 | wenzelm | added option 'locale=NAME'; | changeset | files |
| Wed, 09 Jun 2004 18:52:42 +0200 | wenzelm | Url.File; | changeset | files |
| Wed, 09 Jun 2004 18:52:11 +0200 | wenzelm | * Document preparation: antiquotations provide option 'locale=NAME'; | changeset | files |
| Wed, 09 Jun 2004 18:51:26 +0200 | wenzelm | tuned comment; | changeset | files |
| Wed, 09 Jun 2004 18:51:16 +0200 | wenzelm | updated/tuned identifier syntax; | changeset | files |
| Wed, 09 Jun 2004 18:51:02 +0200 | wenzelm | updated notes on sub-/superscripts; | changeset | files |
| Wed, 09 Jun 2004 18:50:38 +0200 | wenzelm | removed Syntax.test_read; | changeset | files |
| Wed, 09 Jun 2004 15:00:32 +0200 | nipkow | added a lemma lfp_ordinal_induct | changeset | files |