This website requires JavaScript.
Explore
Help
Sign In
GitHub
/
gf-core
Watch
1
Star
0
Fork
1
You've already forked gf-core
mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced
2026-04-11 13:59:31 -06:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
9bd15b07770ad47722f88acf79c65f4fdb2f9584
gf-core
/
src
History
kr.angelov
9bd15b0777
fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated
2011-09-21 13:30:09 +00:00
..
compiler
commands ss to show source, and sd to show the dependencies of a constant
2011-09-21 08:12:14 +00:00
editor
/simple
gfse: add Extra and Lexicon to the list of resource modules that can be opened
2011-09-16 15:13:27 +00:00
runtime
fix in the proof search. when we start the generation from a template, we must start the refinement from the expression that the typecheker generated
2011-09-21 13:30:09 +00:00
server
pgf-http: fix a bug that caused "+" to be treaded as " " in PGF service requests URLs.
2011-08-25 16:58:17 +00:00
tools
Created a new page documenting available editor modes for GF
2011-09-20 12:41:32 +00:00
ui
fix the grammar browser in the editor
2011-03-08 12:32:51 +00:00