Commit Graph
16 Commits
Author SHA1 Message Date
John J. Camilleri cc8bb02489 Remove pgf build command 2018-08-04 16:27:20 +02:00
John J. Camilleri 19020167f7 First version of Make.bat, untested but basically complete 2018-07-30 15:58:36 +02:00
John J. Camilleri 56f530abab Clean up Make.sh and add verbosity flag 2018-07-30 11:52:55 +02:00
John J. Camilleri be66369ccf Build modules separately otherwise a single fail makes whole thing fail 2018-07-28 16:02:06 +02:00
John J. Camilleri 411da9cbd8 Update README 2018-07-26 21:43:45 +02:00
John J. Camilleri ade493515a [GF Split] Post-split updates 2018-07-25 20:18:48 +02:00
John J. Camilleri 5d058bcfc0 Remove RGL Source Browser
This has moved to:
https://github.com/GrammaticalFramework/rgl-source-browser
2018-07-22 14:55:27 +02:00
John J. Camilleri dd9e9cb51b Remove obsolete lib/src/Make.hs and related lib/src/Makefile entries 2018-07-11 15:47:27 +02:00
John J. Camilleri 685d044d48 Update Clone.hs script for copying RGs (and other projects) to new langs 2018-07-07 13:47:18 +02:00
John J. Camilleri 41c9cc80a6 Remove mkLogo.gfs 2018-07-06 13:55:57 +02:00
John J. Camilleri d094cafa07 coding flag in NewDictSweAbs.gf 2018-07-04 10:28:16 +02:00
John J. Camilleri 4e25a9c2c9 Update AbsFunDoc to remove refs to translator and app 2018-06-20 10:19:03 +02:00
John J. Camilleri a3ad324dc2 Remove wide coverage translator
It had now been migrated to a new repository:
https://github.com/GrammaticalFramework/wide-coverage
2018-06-20 10:06:22 +02:00
John J. Camilleri 1d06f09813 Merge branch 'master' of github.com:GrammaticalFramework/GF 2018-06-09 20:44:24 +02:00
John J. Camilleri 97af158927 Minor fix in RGL browser 2018-06-09 20:44:00 +02:00
John J. Camilleri d2ecf37427 (Swe) new release of DictSwe
- Based on Malin Ahlberg's SALDO to GF import script
- Latest version of SALDO, with roughly 10,000 new words
- Updated identifier syntax: `aangkoek_nn_1_1_N` -> `ångkök_1_N`
- Original `DictSwe` moved to `OldDictSwe`
- New `DictSwe` inherits `OldDictSwe` for backwards compatibility
2018-04-17 21:27:06 +02:00