| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-12-17 | took back smart type of Int ; Digits type in resource and some adjustments of... | aarne |
| 2007-12-14 | completed ConvertGFCC for all terms | aarne |
| 2007-12-14 | removed dep. on GFCCRaw | aarne |
| 2007-12-13 | new GFCC concrete syntax in place everywhere | aarne |
| 2007-12-13 | lisp-like GFCC syntax; doesn't quite work yet in gf3 | aarne |
