updated gfdoc

This commit is contained in:
aarne
2006-06-08 21:41:51 +00:00
parent 165b7269a9
commit 648b186491
38 changed files with 585 additions and 692 deletions

View File

@@ -13,20 +13,16 @@
<HR NOSHADE SIZE=1>
<P></P>
<P>
Author:
Last update: Wed May 31 19:01:42 2006
Last update: 2006-06-03 10:54:51 CEST
</P>
<P>
Produced by
gfdoc - a rudimentary GF document generator.
(c) Aarne Ranta (<A HREF="mailto:aarne@cs.chalmers.se">aarne@cs.chalmers.se</A>) 2002 under GNU GPL.
</P>
<P>
==
</P>
<PRE>
abstract PredefAbs = {
cat Int ; String ;
cat Int ; String ; Float ;
} ;
</PRE>
<P></P>