| Sat, 04 Sep 2010 21:10:39 +0200 | haftmann | added more explicit warning | changeset | files |
| Mon, 06 Sep 2010 00:08:47 +0200 | wenzelm | ML_Context.ml_store_thm(s): operate on thread context instead of Unsynchronized.ref; | changeset | files |
| Sun, 05 Sep 2010 23:31:12 +0200 | wenzelm | use setmp_noncritical for PGIP, which is presumably sequential (PG clone); | changeset | files |
| Sun, 05 Sep 2010 23:26:16 +0200 | wenzelm | use setmp_noncritical for sequential Pure bootstrap; | changeset | files |
| Sun, 05 Sep 2010 23:16:21 +0200 | wenzelm | turned show_brackets into proper configuration option; | changeset | files |
| Sun, 05 Sep 2010 22:23:48 +0200 | wenzelm | Syntax.standard_parse_term: eliminated redundant Pretty.pp; | changeset | files |
| Sun, 05 Sep 2010 22:15:50 +0200 | wenzelm | structure Syntax: define "interfaces" before actual implementations; | changeset | files |
| Sun, 05 Sep 2010 21:41:24 +0200 | wenzelm | turned show_sorts/show_types into proper configuration options; | changeset | files |