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
Age
Commit message (
Expand
)
Author
2011-10-20
Setup.hs: less verbose output during the compilation of the RGL
hallgren
2011-10-20
PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happy
hallgren
2011-10-18
pgf-http setup: update path to minibar
hallgren
2011-10-18
minibar: adding a start category menu
hallgren
2011-10-18
minibar: add a button to show some grammar info
hallgren
2011-10-18
pgf service: include the start category in grammar info
hallgren
2011-10-17
Added Eclipse contents
john.j.camilleri
2011-10-17
Added link for GFEP
john.j.camilleri
2011-10-17
example-based: use random generation for the examples
hallgren
2011-10-14
Bug fix in setup for gf -server mode
hallgren
2011-10-12
Show version & configuration info when gf -server starts
hallgren
2011-10-12
Bug fixes for gf -server mode and setup
hallgren
2011-10-12
Improvements of "gf -server" mode and related setup
hallgren
2011-10-11
More work on support for gfse in "gf -server" mode
hallgren
2011-10-10
gfse: make it workw ith "gf -server" cloud services
hallgren
2011-10-10
Add cloud services needed by gfse to "gf -server" mode
hallgren
2011-10-10
minibar/support.js: added function encodeArgs.
hallgren
2011-10-10
More functionality in "gf -server" mode
hallgren
2011-10-07
gfse: documentation tweaks
hallgren
2011-10-04
example-based grammar writing: avoid a problem by returning Nothing instead o...
hallgren
2011-10-03
gf-bibliography.html with Thomas' corrected links
aarne
2011-10-03
updated gf-biblio with cse instead of cs
aarne
2011-10-03
corrected links in gf-biblio
hallgren
2011-10-03
new items in gf-bibliography.t2t
aarne
2011-10-03
gfse: browser compatibility fixes
hallgren
2011-10-03
gfse: references to the GF book in keyword tool tips and style tweaks for exa...
hallgren
2011-09-29
Example-based grammar writing: fix problems caused by the use of exprToAPI
hallgren
2011-09-28
gfse: about.html updates
hallgren
2011-09-27
gfse: mention example-based grammar writing in about.html
hallgren
2011-09-27
exb: call exprToAPI to create nicer linearization functions
hallgren
2011-09-27
Server-side support for example-based grammar writing
hallgren
2011-09-27
gfse: work in progress on support for example-based grammar writing
hallgren
2011-09-27
Update the shell reference manual
hallgren
2011-09-26
don't count app nodes in term size
aarne
2011-09-26
Query/small packaged
aarne
2011-09-25
generalized show_dependencies to take a list of constants as its argument
aarne
2011-09-25
structured examples in help into pairs (command,explanation)
aarne
2011-09-24
bug fixes in code size analysis
aarne
2011-09-22
change the precedence for the left argument of ->
kr.angelov
2011-09-22
the sd -size command now shows the size of all code needed for defining an oper
aarne
2011-09-22
documented the ss command
aarne
2011-09-21
Update 19 broken links in the GF bibliography
hallgren
2011-09-21
statistics on grammar size in terms of constructors
aarne
2011-09-21
fix in the proof search. when we start the generation from a template, we mus...
kr.angelov
2011-09-21
commands ss to show source, and sd to show the dependencies of a constant
aarne
2011-09-20
module for analysing source grammars
aarne
2011-09-20
command ss to show source (including gfo) in text; to be extended
aarne
2011-09-20
Home page news item about editor modes for GF
hallgren
2011-09-20
Created a new page documenting available editor modes for GF
hallgren
2011-09-20
QueryGer added; some bugs to fix
aarne
[next]