aarne bed51bf3f2 Irreg added to language top files; german Irreg created and used

2006-06-08 21:08:51 +00:00

prelude

added Float to PredefAbs

2006-06-02 12:11:36 +00:00

resource

gslt sem

2006-01-29 10:22:31 +00:00

resource-0.6

Black's notice

2005-12-21 20:47:55 +00:00

resource-1.0

Irreg added to language top files; german Irreg created and used

2006-06-08 21:08:51 +00:00

index.html

updating gfdoc with Dan and Rus

2006-05-26 15:33:51 +00:00

index.txt

updating gfdoc with Dan and Rus

2006-05-26 15:33:51 +00:00

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%