aarne 291edbb373 nocf flag ; mathematical API

2006-02-14 21:19:24 +00:00

dialogue

a dialogue resource started

2005-05-30 15:22:42 +00:00

prelude

two versions of optStr in Prelude.gf

2006-02-09 10:41:31 +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

nocf flag ; mathematical API

2006-02-14 21:19:24 +00:00

S

Description

No description provided

BSD-3-Clause 217 MiB

Languages

Grammatical Framework 99.9%