d9f7697f7a
Added Eclipse contents
2011-10-17 16:01:07 +00:00
83533afd5f
Added link for GFEP
2011-10-17 15:40:18 +00:00
d4ee4a6133
example-based: use random generation for the examples
2011-10-17 13:51:25 +00:00
c0becec2bd
Bug fix in setup for gf -server mode
...
Use the command "dist/build/gf/gf" instead of "gf" to compile the sample
grammars for the minibar, to avoid failing if gf is installed in a directory
which is not in the $PATH.
2011-10-14 19:34:55 +00:00
bd7cb1ab41
Show version & configuration info when gf -server starts
2011-10-12 19:00:42 +00:00
8266df8f58
Bug fixes for gf -server mode and setup
2011-10-12 18:27:46 +00:00
44d1a5a9f7
Improvements of "gf -server" mode and related setup
...
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
2011-10-12 17:03:54 +00:00
0aba45560d
More work on support for gfse in "gf -server" mode
2011-10-11 19:17:47 +00:00
ef079ff939
gfse: make it workw ith "gf -server" cloud services
2011-10-10 19:49:17 +00:00
b138844695
Add cloud services needed by gfse to "gf -server" mode
2011-10-10 19:46:57 +00:00
693b807cb5
minibar/support.js: added function encodeArgs.
2011-10-10 17:40:53 +00:00
04d2dc757c
More functionality in "gf -server" mode
...
"gf -server" mode now includes PGF service and the services to support
example-based grammar writing. (But gf -server is not quite ready to replace
pgf-http yet...)
Also bumped GF version number to 3.2.10-darcs
2011-10-10 16:16:16 +00:00
5b980dcb93
gfse: documentation tweaks
2011-10-07 12:14:30 +00:00
5f0d407968
example-based grammar writing: avoid a problem by returning Nothing instead of calling error
2011-10-04 10:04:01 +00:00
4af079006b
gf-bibliography.html with Thomas' corrected links
2011-10-03 15:42:12 +00:00
44ecbd11bc
updated gf-biblio with cse instead of cs
2011-10-03 15:39:39 +00:00
c04d8ccd80
corrected links in gf-biblio
2011-10-03 15:36:27 +00:00
ddc34a2162
new items in gf-bibliography.t2t
2011-10-03 15:18:59 +00:00
7402ff2429
gfse: browser compatibility fixes
2011-10-03 12:28:49 +00:00
dfbf4f9e14
gfse: references to the GF book in keyword tool tips and style tweaks for example-based grammar editing
2011-10-03 08:21:35 +00:00
bb585fef2c
Example-based grammar writing: fix problems caused by the use of exprToAPI
...
The editor needs to keep track of both the raw term and the nice term returned
by exprToAPI. (Manually constructed linearization rules will now have the
raw term and can not be tested.)
Also replace metavariables in generalized terms with the apropriate parameter
from the linearization rule.
Also fix communication problems caused by inconsistent use of show/read vs
showExpr/readExpr.
2011-09-29 15:19:03 +00:00
ad725d8531
gfse: about.html updates
2011-09-28 15:26:34 +00:00
6142258302
gfse: mention example-based grammar writing in about.html
2011-09-27 19:18:50 +00:00
cdef284b2b
exb: call exprToAPI to create nicer linearization functions
2011-09-27 19:17:53 +00:00
b9b353795b
Server-side support for example-based grammar writing
2011-09-27 18:59:54 +00:00
667b37f418
gfse: work in progress on support for example-based grammar writing
2011-09-27 18:40:09 +00:00
64beaae58f
Update the shell reference manual
2011-09-27 13:20:37 +00:00
a83b6bea62
don't count app nodes in term size
2011-09-26 13:56:39 +00:00
ff4929e25e
Query/small packaged
2011-09-26 06:56:36 +00:00
1a3a26563b
generalized show_dependencies to take a list of constants as its argument
2011-09-25 08:43:23 +00:00
0c2f20d04d
structured examples in help into pairs (command,explanation)
2011-09-25 08:42:27 +00:00
780d9ef528
bug fixes in code size analysis
2011-09-24 08:20:58 +00:00
bb599029c9
change the precedence for the left argument of ->
2011-09-22 16:24:02 +00:00
6db0c74c2f
the sd -size command now shows the size of all code needed for defining an oper
2011-09-22 12:11:03 +00:00
baa9bcd9d0
documented the ss command
2011-09-22 07:40:19 +00:00
ea04171fc6
Update 19 broken links in the GF bibliography
...
Most of the broken link were due to the move from www.cs.chalmers.se was to
www.cse.chalmers.se in 2010.
2011-09-21 16:37:20 +00:00
bd22b935de
statistics on grammar size in terms of constructors
2011-09-21 13:24:59 +00:00
89fb9a7fdf
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
958e81126d
commands ss to show source, and sd to show the dependencies of a constant
2011-09-21 08:12:14 +00:00
33a42b1c7c
module for analysing source grammars
2011-09-20 16:00:56 +00:00
a2ccf1ce69
command ss to show source (including gfo) in text; to be extended
2011-09-20 14:58:27 +00:00
209ec0d7fe
Home page news item about editor modes for GF
2011-09-20 12:51:34 +00:00
c32a244a3c
Created a new page documenting available editor modes for GF
...
Also adding editing modes for Gedit and Geany contributed by John J. Camilleri.
2011-09-20 12:41:32 +00:00
a4a1f33cd3
QueryGer added; some bugs to fix
2011-09-20 12:05:07 +00:00
b08309f236
QueryIta added
2011-09-20 08:54:35 +00:00
c7384bd432
QueryFre added; a utf8 typo in StructuralFre corrected
2011-09-20 08:08:28 +00:00
7da592fecc
treebank to test Query
2011-09-19 15:39:48 +00:00
a96e90a4ae
QueryFin improved
2011-09-19 14:37:30 +00:00
343e852bfe
test suite: Don't fail because of the Win32/Unix text file incompatibility.
2011-09-19 13:14:01 +00:00
c8c81f77f7
Adding test case for interaction between record subtyping and record extension
2011-09-19 12:43:14 +00:00
john.j.camilleri