Logo
Explore Help
Sign In
GitHub/gf-core
1
0
Fork 1
You've already forked gf-core
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-21 10:49:33 -06:00
Code Issues Packages Projects Releases Wiki Activity
Files
9229c157642c3503d365f42fe5ecac414958ab9b
gf-core/src-3.0/GF
History
aarne 9229c15764 added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/
2008-05-31 14:40:46 +00:00
..
Command
Refactor GFI to treat command line files and the i command uniformly. Disable CSE by default in GFI.
2008-05-30 15:20:28 +00:00
Compile
added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/
2008-05-31 14:40:46 +00:00
Data
error recovery in rename and check grammar: report all errors in a module before terminating
2008-05-30 16:45:48 +00:00
Devel
move GFCCtoHaskell and GFCCtoJS to GF.GFCC.*
2008-05-22 15:47:15 +00:00
Grammar
added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/
2008-05-31 14:40:46 +00:00
Infra
added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/
2008-05-31 14:40:46 +00:00
JavaScript
add Cabal description for GF
2008-05-23 13:12:11 +00:00
Source
added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/
2008-05-31 14:40:46 +00:00
System
allow Ctrl+Break in the shell. Works on Windows too.
2008-05-23 15:16:28 +00:00
Text
remove all files that aren't used in GF-3.0
2008-05-22 11:59:31 +00:00
Compile.hs
added positions to Module record; avoided Module constructor where possible; moved Refresh to Compile/
2008-05-31 14:40:46 +00:00
Powered by Gitea Version: 1.25.5 Page: 38ms Template: 5ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API