Preparing for beta release.

This commit is contained in:
aarne
2003-11-25 15:43:05 +00:00
parent 1574e20786
commit ba077a8a91
6 changed files with 89 additions and 15 deletions

View File

@@ -1,4 +1,4 @@
--# -path=.:../resource/nabstract:../resource/nenglish:../prelude
--# -path=.:../newresource/abstract:../newresource/english:../prelude
concrete DatabaseEng of Database = open Prelude, ResourceEng in {