aarne e708f39c46 Russian in 1.4 - compiles but is incomplete

2008-06-16 21:05:31 +00:00

c

Added gfcc2c to GF repo.

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

javascript

Added all the syntax editor files from Moises.

2008-06-16 17:42:20 +00:00

resource

treating Int as PredefAbs.Int in lookup

2008-06-12 13:11:18 +00:00

resource-0.6

Black's notice

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

resource-0.9

resource = resource-1.0

2006-06-22 22:25:55 +00:00

resource-1.4

Russian in 1.4 - compiles but is incomplete

2008-06-16 21:05:31 +00:00

src

prelude sources to lib/src; present in StructuralEng; refactored checkGFCC

2007-12-13 10:12:00 +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

S

Description

No description provided

BSD-3-Clause

218 MiB

0 Stars 1 Watchers 1 Forks

Languages

Grammatical Framework 99.9%