| Mon, 09 Mar 2009 12:24:19 +0100 | nipkow | merged | changeset | files |
| Mon, 09 Mar 2009 12:24:01 +0100 | nipkow | fixed typing of UN/INT syntax | changeset | files |
| Mon, 09 Mar 2009 15:36:31 +0100 | wenzelm | more contributors; | changeset | files |
| Mon, 09 Mar 2009 11:57:48 +0100 | wenzelm | adapted ThyOutput.antiquotation; | changeset | files |
| Mon, 09 Mar 2009 11:56:34 +0100 | wenzelm | refined antiquotation interface: formally pass result context and (potential) result source; | changeset | files |
| Mon, 09 Mar 2009 10:10:34 +0100 | haftmann | merged | changeset | files |
| Mon, 09 Mar 2009 09:37:33 +0100 | haftmann | binding replaces bstring | changeset | files |
| Mon, 09 Mar 2009 09:34:39 +0100 | haftmann | dropped eq_pred | changeset | files |
| Sun, 08 Mar 2009 17:25:16 +0100 | haftmann | merged | changeset | files |
| Sun, 08 Mar 2009 15:25:29 +0100 | haftmann | refined enumeration implementation | changeset | files |
| Sun, 08 Mar 2009 15:25:29 +0100 | haftmann | added top and bot syntax | changeset | files |
| Sun, 08 Mar 2009 15:25:28 +0100 | haftmann | added predicate compiler, as formally checked prototype, not as user package | changeset | files |
| Mon, 09 Mar 2009 10:01:58 +0100 | haftmann | attempt to bypass spurious infix syntax problem on polyml/sun | changeset | files |
| Mon, 09 Mar 2009 09:38:36 +0100 | nipkow | UN syntax fix | changeset | files |