| Wed, 15 Aug 2007 08:57:41 +0200 | haftmann | extended | changeset | files |
| Wed, 15 Aug 2007 08:57:40 +0200 | haftmann | added Eval_Witness theory | changeset | files |
| Wed, 15 Aug 2007 08:57:39 +0200 | haftmann | updated code generator setup | changeset | files |
| Wed, 15 Aug 2007 08:57:38 +0200 | haftmann | updated | changeset | files |
| Tue, 14 Aug 2007 23:23:09 +0200 | wenzelm | renamed standard_read_XXX to standard_parse_XXX; | changeset | files |
| Tue, 14 Aug 2007 23:23:06 +0200 | wenzelm | added implicit type mode (cf. Type.mode); | changeset | files |
| Tue, 14 Aug 2007 23:23:04 +0200 | wenzelm | Syntax.global_read_sort; | changeset | files |
| Tue, 14 Aug 2007 23:23:00 +0200 | wenzelm | infer_types: depend on Type.mode; | changeset | files |
| Tue, 14 Aug 2007 23:22:58 +0200 | wenzelm | type mode: models certification mode (default, syntax, abbrev); | changeset | files |
| Tue, 14 Aug 2007 23:22:55 +0200 | wenzelm | replaced certify_typ_syntax/abbrev by certify_typ_mode; | changeset | files |
| Tue, 14 Aug 2007 23:22:53 +0200 | wenzelm | tuned order; | changeset | files |
| Tue, 14 Aug 2007 23:22:51 +0200 | wenzelm | avoid low-level tsig; | changeset | files |