| Mon, 09 Mar 2009 14:43:51 +0100 | haftmann | NameSpace.base_name ~> Long_Name.base_name | file | diff | annotate |
| Mon, 09 Mar 2009 09:37:33 +0100 | haftmann | binding replaces bstring | file | diff | annotate |
| Sun, 08 Mar 2009 15:25:28 +0100 | haftmann | added predicate compiler, as formally checked prototype, not as user package | file | diff | annotate |