aarne e745881e4a trying to find some inefficiencies in Finnish resource

2010-10-25 19:56:47 +00:00

..

animals

changed the name of example-based examples

2010-04-20 09:34:38 +00:00

attempto

extended Attempto with some constructs

2010-09-29 07:16:33 +00:00

bronzeage

Urdu bronzeage

2010-04-21 08:37:19 +00:00

category-theory

added equality proof in the constructor for natural trasformations

2010-06-14 11:21:52 +00:00

experiments

labels read from config files for dependency trees, eg lib/src/dep.labels

2009-10-19 15:53:30 +00:00

gfcc

Macros and note in GFCC document.

2010-03-02 21:22:53 +00:00

graftals

Graftals in GF. examples/graftals

2009-02-14 14:07:04 +00:00

jem-math

restored the summer school and Resource-HOWTO documents

2008-09-16 08:01:47 +00:00

letter

use oper in examples

2009-06-13 13:36:41 +00:00

lrec-tutorial

lrec tutorial examples

2010-04-24 11:34:04 +00:00

mathtext

mathtext examples from Bonn

2009-12-18 11:08:39 +00:00

messages

grammar for messages started

2010-06-21 16:50:40 +00:00

morpho

fixes in French morpho quiz grammar

2010-09-28 16:52:48 +00:00

nqueens

generalize the nqueens function in NQueens.gf

2010-10-13 17:53:44 +00:00

numerals

new numerals/amharic.gf by Markos

2010-10-26 09:56:48 +00:00

peacekeeping

peace grammars patched to work with the new API

2008-08-20 07:14:20 +00:00

phrasebook

trying to find some inefficiencies in Finnish resource

2010-10-25 19:56:47 +00:00

query

functorized Query and added Swe

2010-10-20 16:22:23 +00:00

RDF

added example for abstract syntax of RDF

2009-07-06 19:58:27 +00:00

sammie

gr for several metas fixed ; commented out one alternative in SammieGer to make it compile

2010-02-02 07:12:52 +00:00

SUMO

added week day's names in SUMO for Bulgarian and Swedish

2010-10-21 14:48:04 +00:00

trigram

added start category S to Trigram.gf

2009-10-08 13:41:34 +00:00

tutorial

in tutorial/smart remove the hack that forced the proof object to be resolved

2010-10-18 12:28:39 +00:00