| Thu, 20 Nov 2008 19:43:34 +0100 | wenzelm | reactivated some dead theories (based on hints by Mark Hillebrand); | changeset | files |
| Thu, 20 Nov 2008 19:06:05 +0100 | haftmann | Locale.local_note_qualified | changeset | files |
| Thu, 20 Nov 2008 19:06:03 +0100 | haftmann | fact table now using name bindings | changeset | files |
| Thu, 20 Nov 2008 19:06:02 +0100 | haftmann | dropped legacy naming code | changeset | files |
| Thu, 20 Nov 2008 14:55:28 +0100 | haftmann | tuned name bindings | changeset | files |
| Thu, 20 Nov 2008 14:55:25 +0100 | haftmann | using name bindings | changeset | files |
| Thu, 20 Nov 2008 14:51:40 +0100 | haftmann | name spaces and name bindings | changeset | files |
| Thu, 20 Nov 2008 10:29:35 +0100 | ballarin | Deleted debug message (PolyML). | changeset | files |