summaryrefslogtreecommitdiff
path: root/src/GF/GFCC
AgeCommit message (Expand)Author
2007-12-17took back smart type of Int ; Digits type in resource and some adjustments of...aarne
2007-12-16restored Int size and last ; added lib/prelude to be the last in any grammar ...aarne
2007-12-14completed ConvertGFCC for all termsaarne
2007-12-14removed dep. on GFCCRawaarne
2007-12-13some generated GFCCRaw files added to darcs; make gf3langs for alltensesaarne
2007-12-13removed gfcc via gfc everywhere; workaround for russian in presentaarne
2007-12-13new GFCC concrete syntax in place everywhereaarne
2007-12-13lisp-like GFCC syntax; doesn't quite work yet in gf3aarne
2007-12-13prelude sources to lib/src; present in StructuralEng; refactored checkGFCCaarne
2007-11-09ResFin workaround; type annot for ghc 6.8.1aarne
2007-11-08added linearize -allaarne
2007-11-08gfi linearization with flags -table -record -termaarne
2007-11-07added fields for global options and showable lincats to gfccaarne
2007-11-06prompt and CPU time in experimental shellaarne
2007-11-06Devel/GF3: experimentally putting together all functionalities for the first ...aarne
2007-11-05fixed variants bug in GFCC.Linearize: l. 64,46 'r' must be 'p'aarne
2007-11-05unionGFCC, to put together GFCC grs with same abstractaarne
2007-11-03command language and gfcc term parser in bnfcaarne
2007-10-16found and temporarily solved the bug in LangGer gfcc generationaarne
2007-10-14fix in records as param argumentsaarne
2007-10-10optimizations on evaluated gf in gfcaarne
2007-10-09GFCCtoJS in Develaarne
2007-10-08UTF8 encoding of strings in terms in GFCC in gfcaarne
2007-10-05documented new GFCCaarne
2007-10-05removed Canon/GFCCaarne
2007-10-05updated gfcc to new gfcc, now with parsingaarne
2007-10-05gf works with the new gfcc formataarne
2007-10-05cleaned up new GFCC, but added RP as deprecatedaarne
2007-10-05shifted to use general trees and types (with macros for c-f)aarne
2007-10-05divided DataGFCCaarne
2007-10-04new GFCC format in GF/GFCCaarne
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-20 15:40:09 +0000