aarne 2bbd5b21e9 updated exx-resource.gft to the new tree structure

2008-09-05 14:56:06 +00:00

..

c

Added gfcc2c to GF repo.

2006-12-22 13:43:32 +00:00

javascript

removed some dead code from gflib.js

2008-08-19 14:08:02 +00:00

next-resource

updated exx-resource.gft to the new tree structure

2008-09-05 14:56:06 +00:00

prelude

simplified the deprecated complex lincat of PredefCnc.Int

2008-09-03 09:45:09 +00:00

resource

Added missing space in Constructors.gf whose absence introduced an extra space in the library synopsis.

2008-08-29 08:41:38 +00:00

index.html

lib index

2006-12-22 14:19:55 +00:00

index.txt

updated doc

2007-07-08 16:53:52 +00:00

LICENSE

updated doc

2007-07-08 16:53:52 +00:00