| 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 |