"Committed_by_peb"

This commit is contained in:
peb
2005-05-30 07:11:32 +00:00
parent 136b0203eb
commit e04956a42d
4 changed files with 24 additions and 7 deletions

View File

@@ -1,6 +1,8 @@
concrete FragmentNumber of FragmentAbstract = open FragmentResource in {
flags startcat= S;
lincat
N = { s : Num => Str };