index
:
gf-core.git
master
optimize
Unnamed repository; edit this file 'description' to name the repository.
Adrian
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
Age
Commit message (
Expand
)
Author
2011-03-12
make later flags take priority over earlier ones in PGF generation
aarne
2011-03-12
generalized pt -transfer so that it goes into subtrees (naive implementation ...
aarne
2011-03-09
gfse: documentation fixes, links to MOLTO meeting slides and compiler API doc...
hallgren
2011-03-08
fix the grammar browser in the editor
krasimir
2011-03-07
the user can now upload their own grammars in the editor
krasimir
2011-03-07
gfse: create a new concrete syntax by copying an existing one
hallgren
2011-03-07
gfse: link back to the editor from the upload page
hallgren
2011-03-06
gfse: minor layout/formatting variation
hallgren
2011-03-05
added composOp generation to haskell-gadt, and an example in examples/gadt-tr...
aarne
2011-03-04
switched the upper and lower parts of lexc entries to their standard order
aarne
2011-03-04
revived GADT generation
aarne
2011-03-04
fixed a variable refreshing bug in the compiler
aarne
2011-03-03
minibar: add icon for word alignment button
hallgren
2011-03-03
minibar: add a button to display word alignment
hallgren
2011-03-03
GF shell restricted mode
hallgren
2011-03-03
overloaded opers included in sorting of judgements
aarne
2011-03-03
print lexicon in Xerox LEXC format: pg -lexc
aarne
2011-03-01
corrected help for l command
aarne
2011-03-01
minibar/support.js: recognize relative URLs as locations on the same server
hallgren
2011-03-01
minibar: make the feedback form work in the generic minibar
hallgren
2011-02-28
gfse: fix missing startcat flag bug + documentation updates
hallgren
2011-02-28
gfse: fix persmission problem in upload.cgi
hallgren
2011-02-28
gfse: include a -path flag to find rgl modules
hallgren
2011-02-28
gfse: support for opening RGL modules
hallgren
2011-02-28
gfse: minor documentation and style improvements
hallgren
2011-02-28
the command show_operations to inspect opers in scope
aarne
2011-02-26
removed message showing what modules are read unless in verbose mode
aarne
2011-02-25
Predef.error surfaces as error message in compilation and cc command
aarne
2011-02-25
command ga moved to option 'aw -giza'
aarne
2011-02-22
gfse: allow definitions to be reordered by drad-and-drop
hallgren
2011-02-18
gfse: fix typos
hallgren
2011-02-18
gfse: document that grammars can be uploaded and tested in the GF shell, the ...
hallgren
2011-02-18
gfse: updated screen shots
hallgren
2011-02-18
gfse: support for linking to the translation quiz
hallgren
2011-02-17
gfse: some small fixes
hallgren
2011-02-17
Adding the prototype GF editor for simple multilingual grammars
hallgren
2011-02-17
Adding the prototype GF editor for simple multilingual grammars
hallgren
2011-02-17
Adding the prototype GF editor for simple multilingual grammars
hallgren
2011-02-06
a simple clitic analysis command 'ca'
aarne
2011-01-31
corrections to ancientgreek encoding by Hans Leiss
aarne
2011-01-28
started CompilerAPI, still dummy
aarne
2011-01-27
minibar: a small change to make easy to select an alternate grammar directory
hallgren
2011-01-11
minibar: update my home page link (cs->cse)
hallgren
2011-01-09
The name of the fastcgi executable has changed back to pgf-service
hallgren
2011-01-08
fix the computation of abstract expressions in the presence of implicit argum...
krasimir
2011-01-08
bugfix in the handling of implicit arguments in the typechecker
krasimir
2010-12-28
The GF editor now lets the user to upload his/her own grammars
krasimir
2010-12-23
gf-server.cabal: changes to stop cabal from demanding hsql even when content-...
hallgren
2010-12-22
PGF web service: make the generated index.html for pgf-http a bit more inform...
hallgren
2010-12-22
gf-server.cabal: update description of fastcgi flag
hallgren
[next]