| Mon, 08 Oct 2007 16:28:29 +0200 | berghofe | list_codegen and char_codegen now call invoke_tycodegen to ensure | changeset | files |
| Mon, 08 Oct 2007 08:04:28 +0200 | haftmann | added first version of user-space type system for class target | changeset | files |
| Mon, 08 Oct 2007 08:04:26 +0200 | haftmann | clarified | changeset | files |
| Mon, 08 Oct 2007 07:38:13 +0200 | urbanc | Isar-fied many proofs | changeset | files |
| Mon, 08 Oct 2007 07:09:29 +0200 | urbanc | changed VC-Compatible to VC_Compatible | changeset | files |
| Mon, 08 Oct 2007 07:05:54 +0200 | urbanc | changed file name | changeset | files |
| Mon, 08 Oct 2007 05:27:52 +0200 | urbanc | added the two new examples from Nominal to the build process | changeset | files |
| Mon, 08 Oct 2007 05:23:47 +0200 | urbanc | added two new example files | changeset | files |
| Sun, 07 Oct 2007 21:29:42 +0200 | wenzelm | modernized specifications; | changeset | files |
| Sun, 07 Oct 2007 21:19:31 +0200 | wenzelm | modernized specifications; | changeset | files |
| Sun, 07 Oct 2007 15:49:25 +0200 | wenzelm | replaced some 'translations' by 'abbreviation'; | changeset | files |
| Sun, 07 Oct 2007 13:57:05 +0200 | wenzelm | * Basic Isabelle mode for jEdit. | changeset | files |
| Sun, 07 Oct 2007 13:52:16 +0200 | wenzelm | tuned generated comment; | changeset | files |
| Sun, 07 Oct 2007 13:48:06 +0200 | wenzelm | tuned; | changeset | files |
| Sun, 07 Oct 2007 13:41:31 +0200 | wenzelm | Basic Isabelle mode for jEdit -- http://www.jedit.org/ | changeset | files |
| Sun, 07 Oct 2007 13:32:17 +0200 | wenzelm | isabelle mode for jEdit; | changeset | files |
| Sun, 07 Oct 2007 13:32:16 +0200 | wenzelm | added target tool specification; | changeset | files |
| Sun, 07 Oct 2007 13:32:15 +0200 | wenzelm | added target tool specification; | changeset | files |
| Sun, 07 Oct 2007 13:32:14 +0200 | wenzelm | emacs vs. jedit; | changeset | files |
| Sat, 06 Oct 2007 22:31:57 +0200 | wenzelm | some updates; | changeset | files |
| Sat, 06 Oct 2007 22:31:57 +0200 | wenzelm | removed obsolete write_keywords; | changeset | files |
| Sat, 06 Oct 2007 22:07:19 +0200 | wenzelm | Dummy session with outer syntax keyword initialization. | changeset | files |
| Sat, 06 Oct 2007 22:07:18 +0200 | wenzelm | added Pure-ProofGeneral target (dummy session with outer syntax keyword initialization); | changeset | files |
| Sat, 06 Oct 2007 22:07:17 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 22:07:16 +0200 | wenzelm | use isatool keywords -- generate from logs instead of session images; | changeset | files |
| Sat, 06 Oct 2007 22:07:15 +0200 | wenzelm | removed duplicate target; | changeset | files |
| Sat, 06 Oct 2007 22:06:11 +0200 | wenzelm | updated; | changeset | files |
| Sat, 06 Oct 2007 21:25:58 +0200 | wenzelm | generate outer syntax keyword files from session logs; | changeset | files |
| Sat, 06 Oct 2007 21:21:45 +0200 | wenzelm | export init_outer_syntax; | changeset | files |
| Sat, 06 Oct 2007 17:53:45 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 17:46:52 +0200 | wenzelm | report on keyword/command declarations; | changeset | files |
| Sat, 06 Oct 2007 17:46:51 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 06 Oct 2007 17:46:49 +0200 | wenzelm | added keyword_decl, command_decl; | changeset | files |
| Sat, 06 Oct 2007 16:50:09 +0200 | wenzelm | added class_expr; | changeset | files |
| Sat, 06 Oct 2007 16:50:08 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:50:04 +0200 | wenzelm | simplified interfaces for outer syntax; | changeset | files |
| Sat, 06 Oct 2007 16:41:22 +0200 | wenzelm | updated; | changeset | files |
| Fri, 05 Oct 2007 23:04:17 +0200 | wenzelm | (co)induct: polymorhic taking''; | changeset | files |
| Fri, 05 Oct 2007 23:04:16 +0200 | wenzelm | added burrow_options; | changeset | files |
| Fri, 05 Oct 2007 23:04:14 +0200 | wenzelm | tuned proofs (via polymorphic taking''); | changeset | files |
| Fri, 05 Oct 2007 22:00:17 +0200 | wenzelm | export get_consumes; | changeset | files |
| Fri, 05 Oct 2007 22:00:15 +0200 | wenzelm | tuned Induct interface: prefer pred'' over set''; | changeset | files |
| Fri, 05 Oct 2007 22:00:13 +0200 | wenzelm | coinduct: instantiation refers to suffix of main prop (major premise or conclusion); | changeset | files |
| Fri, 05 Oct 2007 22:00:11 +0200 | wenzelm | tuned induct etc.; | changeset | files |
| Fri, 05 Oct 2007 20:10:35 +0200 | wenzelm | execute/system: non-critical; | changeset | files |
| Fri, 05 Oct 2007 20:10:33 +0200 | wenzelm | subtract: minor performance tuning; | changeset | files |
| Fri, 05 Oct 2007 11:16:30 +0200 | wenzelm | cover only .gz files; | changeset | files |
| Fri, 05 Oct 2007 09:59:21 +0200 | paulson | metis method: used theorems | changeset | files |
| Fri, 05 Oct 2007 09:59:03 +0200 | paulson | filtering out some package theorems | changeset | files |
| Fri, 05 Oct 2007 08:38:09 +0200 | nipkow | added lemmas | changeset | files |
| Thu, 04 Oct 2007 21:11:06 +0200 | wenzelm | single-threaded profiling; | changeset | files |
| Thu, 04 Oct 2007 21:10:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 04 Oct 2007 20:29:42 +0200 | wenzelm | Name.uu, Name.aT; | changeset | files |
| Thu, 04 Oct 2007 20:29:33 +0200 | wenzelm | added uu, aT; | changeset | files |
| Thu, 04 Oct 2007 20:29:24 +0200 | wenzelm | replaced literal 'a by Name.aT; | changeset | files |
| Thu, 04 Oct 2007 20:29:13 +0200 | wenzelm | replaced AxClass.param_tyvarname by Name.aT; | changeset | files |
| Thu, 04 Oct 2007 19:54:47 +0200 | haftmann | added nth_drop | changeset | files |
| Thu, 04 Oct 2007 19:54:46 +0200 | haftmann | tuned datatype_codegen setup | changeset | files |
| Thu, 04 Oct 2007 19:54:44 +0200 | haftmann | certificates for code generator case expressions | changeset | files |
| Thu, 04 Oct 2007 19:46:09 +0200 | haftmann | added illustrative diagnostics | changeset | files |