| Mon, 13 Aug 2007 21:22:42 +0200 | haftmann | fixed syntax | changeset | files |
| Mon, 13 Aug 2007 21:22:41 +0200 | haftmann | simplified | changeset | files |
| Mon, 13 Aug 2007 21:22:40 +0200 | haftmann | fixed OCaml bug | changeset | files |
| Mon, 13 Aug 2007 21:22:39 +0200 | haftmann | *** empty log message *** | changeset | files |
| Mon, 13 Aug 2007 21:22:37 +0200 | haftmann | renamed keyword "to" to "module_name" | changeset | files |
| Mon, 13 Aug 2007 21:22:36 +0200 | haftmann | dropped code_axioms | changeset | files |
| Mon, 13 Aug 2007 18:10:24 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
| Mon, 13 Aug 2007 18:10:24 +0200 | wenzelm | Lexicon.tokenize: do not appen EndToken yet; | changeset | files |
| Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.tokenize: do not appen EndToken yet; | changeset | files |
| Mon, 13 Aug 2007 18:10:22 +0200 | wenzelm | Lexicon.read_indexname/nat/variable; | changeset | files |
| Mon, 13 Aug 2007 18:10:20 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
| Mon, 13 Aug 2007 18:10:19 +0200 | wenzelm | moved appl syntax to PureThy; | changeset | files |
| Mon, 13 Aug 2007 18:10:18 +0200 | wenzelm | SimpleSyntax.read_prop; | changeset | files |
| Mon, 13 Aug 2007 12:56:03 +0200 | isatest | added atbroy9 | changeset | files |
| Mon, 13 Aug 2007 12:53:58 +0200 | isatest | multi-threading with poly 5.1 test | changeset | files |
| Mon, 13 Aug 2007 04:35:41 +0200 | kleing | new attribute [rotated] | changeset | files |
| Mon, 13 Aug 2007 00:23:43 +0200 | wenzelm | tuned comments; | changeset | files |
| Mon, 13 Aug 2007 00:17:57 +0200 | wenzelm | Simple syntax for types and terms --- for bootstrapping Pure. | changeset | files |
| Mon, 13 Aug 2007 00:17:54 +0200 | wenzelm | added Syntax/simple_syntax.ML; | changeset | files |
| Sun, 12 Aug 2007 19:00:58 +0200 | wenzelm | * Syntax: scope for resolving ambiguities via type-inference is now limited to individual terms; | changeset | files |
| Sun, 12 Aug 2007 18:53:05 +0200 | wenzelm | read_def_terms': restrict scope of disambiguation to individual term; | changeset | files |
| Sun, 12 Aug 2007 18:53:04 +0200 | wenzelm | stream source: non-critical, assuming exclusive ownership; | changeset | files |
| Sun, 12 Aug 2007 18:53:03 +0200 | wenzelm | added type constraints to resolve syntax ambiguities; | changeset | files |
| Sun, 12 Aug 2007 14:14:24 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Sat, 11 Aug 2007 17:50:23 +0200 | wenzelm | schedule_tasks: alphabetical order for equivalent tasks; | changeset | files |
| Fri, 10 Aug 2007 22:31:19 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Fri, 10 Aug 2007 18:21:25 +0200 | wenzelm | tuned ML bindings; | changeset | files |
| Fri, 10 Aug 2007 17:10:09 +0200 | haftmann | tuned | changeset | files |
| Fri, 10 Aug 2007 17:10:06 +0200 | haftmann | dropped code generator setup garbage | changeset | files |
| Fri, 10 Aug 2007 17:10:05 +0200 | haftmann | syntax fix | changeset | files |
| Fri, 10 Aug 2007 17:10:04 +0200 | haftmann | corrected code generator module names | changeset | files |
| Fri, 10 Aug 2007 17:10:03 +0200 | haftmann | new structure for code generator modules | changeset | files |
| Fri, 10 Aug 2007 17:10:02 +0200 | haftmann | code generator setup improved | changeset | files |
| Fri, 10 Aug 2007 17:05:26 +0200 | haftmann | adjusted | changeset | files |
| Fri, 10 Aug 2007 17:04:34 +0200 | haftmann | new structure for code generator modules | changeset | files |
| Fri, 10 Aug 2007 17:04:24 +0200 | haftmann | ClassPackage renamed to Class | changeset | files |
| Fri, 10 Aug 2007 17:04:20 +0200 | haftmann | updated | changeset | files |
| Fri, 10 Aug 2007 15:28:11 +0200 | wenzelm | simultaneous use_thys; | changeset | files |
| Fri, 10 Aug 2007 15:13:18 +0200 | paulson | removal of some refs | changeset | files |
| Fri, 10 Aug 2007 14:49:01 +0200 | wenzelm | (un)interruptible: pass-through original thread attributes; | changeset | files |
| Fri, 10 Aug 2007 11:02:09 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 10 Aug 2007 10:54:19 +0200 | wenzelm | HOL_USEDIR_OPTIONS: default to -M 1 (more robust); | changeset | files |
| Fri, 10 Aug 2007 10:41:57 +0200 | wenzelm | added jEdit mode spec; | changeset | files |
| Fri, 10 Aug 2007 00:20:39 +0200 | wenzelm | * Experimental support for multithreading, using Poly/ML 5.1; | changeset | files |
| Thu, 09 Aug 2007 23:53:51 +0200 | wenzelm | schedule: misc cleanup, more precise task model; | changeset | files |
| Thu, 09 Aug 2007 23:53:50 +0200 | wenzelm | schedule: more precise task model; | changeset | files |
| Thu, 09 Aug 2007 23:53:49 +0200 | wenzelm | schedule: more precise task model; | changeset | files |
| Thu, 09 Aug 2007 19:19:23 +0200 | wenzelm | fixed DESCRIPTION: single line; | changeset | files |
| Thu, 09 Aug 2007 19:00:31 +0200 | wenzelm | updated; | changeset | files |
| Thu, 09 Aug 2007 16:56:17 +0200 | wenzelm | adapted ThyLoad.check_thy; | changeset | files |
| Thu, 09 Aug 2007 15:57:26 +0200 | haftmann | dropped | changeset | files |
| Thu, 09 Aug 2007 15:52:57 +0200 | haftmann | explizit checking for pattern discipline | changeset | files |
| Thu, 09 Aug 2007 15:52:56 +0200 | haftmann | proper handling of empty datatypes | changeset | files |
| Thu, 09 Aug 2007 15:52:55 +0200 | haftmann | improved class target: now considers class intro rules | changeset | files |
| Thu, 09 Aug 2007 15:52:54 +0200 | haftmann | new access interface in defs.ML | changeset | files |
| Thu, 09 Aug 2007 15:52:53 +0200 | haftmann | adaptions for code generation | changeset | files |
| Thu, 09 Aug 2007 15:52:49 +0200 | haftmann | proper implementation of rational numbers | changeset | files |
| Thu, 09 Aug 2007 15:52:47 +0200 | haftmann | localized of_nat | changeset | files |
| Thu, 09 Aug 2007 15:52:45 +0200 | haftmann | tuned | changeset | files |
| Thu, 09 Aug 2007 15:52:42 +0200 | haftmann | re-eliminated Option.thy | changeset | files |