improved resource doc

This commit is contained in:
aarne
2005-05-22 18:43:00 +00:00
parent 60427e170c
commit e451bc03ba
16 changed files with 188 additions and 99 deletions

View File

@@ -1,6 +1,6 @@
--# -path=.:resource/abstract:resource/../prelude
-- Language-independent question grammar parametwized on Resource.
-- Language-independent question grammar parametrized on Resource.
incomplete concrete QuestionsI of Questions = open Resource in {
lincat