Commit Graph

4250 Commits

Author SHA1 Message Date
hallgren
6da9744c6b download/release-3.2.t2t: make room for GF 3.2.10 release notes 2011-10-24 18:25:37 +00:00
hallgren
113c6f6746 gf-quickstart.html: describe gf -server instead of pgf-http 2011-10-24 18:13:04 +00:00
aarne
7372da3d7f use associativity to force more precompilation of pre expressions 2011-10-24 12:52:20 +00:00
hallgren
442dc95071 Work on example-based grammar writing
+ Preparations to support more target languages. Tested with Swedish.
+ Don't enable example-based editing if there is less that two concrete
  languages in the grammar.
+ Don't show the "By example" button until the required lincat has been defined.
+ Remember the chosen language for examples.
2011-10-21 15:43:57 +00:00
hallgren
ed451653bd Introduce an explicit error value in the Term type
This makes it easier to treat run-time errors (e.g. caused by calls to
Predef.error) in a way that is more typical for a lazy functional language.
2011-10-20 14:36:30 +00:00
hallgren
e5accc0d8d Some experiments with PSeq (left commented out) 2011-10-20 14:25:31 +00:00
hallgren
ef4fac9d82 Compute/ConcreteLazy.hs: no need to reverse when looking up labels in records 2011-10-20 14:19:33 +00:00
hallgren
d8d60adb15 AppPredefined.hs: more readable notation for the types of primitives 2011-10-20 14:17:37 +00:00
hallgren
3dbdc56669 phrasebook/Makefile: use 'gf -run' to make missing.txt 2011-10-20 13:58:46 +00:00
hallgren
a9f4d42652 Setup.hs: less verbose output during the compilation of the RGL
Only show the full gf command line if an error occurs.
2011-10-20 13:36:42 +00:00
hallgren
6c5ee3d666 PGF.hs: Add LANGUAGE BangPatterns to make GHC 7.2 happy
Also remove oddly named function forExample (topological sorting) from export
list.
2011-10-20 13:21:28 +00:00
hallgren
b8124730b1 pgf-http setup: update path to minibar 2011-10-18 15:35:30 +00:00
hallgren
26b8df5cf5 minibar: adding a start category menu
+ The start category menu can be turned off by passing the option
  {startcat_menu:false} when starting the minibar.
+ Documentation updates.
2011-10-18 15:21:49 +00:00
hallgren
d63724ed50 minibar: add a button to show some grammar info 2011-10-18 14:34:00 +00:00
hallgren
4c3cc9f176 pgf service: include the start category in grammar info 2011-10-18 14:31:40 +00:00
john.j.camilleri
d9f7697f7a Added Eclipse contents 2011-10-17 16:01:07 +00:00
john.j.camilleri
83533afd5f Added link for GFEP 2011-10-17 15:40:18 +00:00
hallgren
d4ee4a6133 example-based: use random generation for the examples 2011-10-17 13:51:25 +00:00
hallgren
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
hallgren
bd7cb1ab41 Show version & configuration info when gf -server starts 2011-10-12 19:00:42 +00:00
hallgren
8266df8f58 Bug fixes for gf -server mode and setup 2011-10-12 18:27:46 +00:00
hallgren
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
hallgren
0aba45560d More work on support for gfse in "gf -server" mode 2011-10-11 19:17:47 +00:00
hallgren
ef079ff939 gfse: make it workw ith "gf -server" cloud services 2011-10-10 19:49:17 +00:00
hallgren
b138844695 Add cloud services needed by gfse to "gf -server" mode 2011-10-10 19:46:57 +00:00
hallgren
693b807cb5 minibar/support.js: added function encodeArgs. 2011-10-10 17:40:53 +00:00
hallgren
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
hallgren
5b980dcb93 gfse: documentation tweaks 2011-10-07 12:14:30 +00:00
hallgren
5f0d407968 example-based grammar writing: avoid a problem by returning Nothing instead of calling error 2011-10-04 10:04:01 +00:00
aarne
4af079006b gf-bibliography.html with Thomas' corrected links 2011-10-03 15:42:12 +00:00
aarne
44ecbd11bc updated gf-biblio with cse instead of cs 2011-10-03 15:39:39 +00:00
hallgren
c04d8ccd80 corrected links in gf-biblio 2011-10-03 15:36:27 +00:00
aarne
ddc34a2162 new items in gf-bibliography.t2t 2011-10-03 15:18:59 +00:00
hallgren
7402ff2429 gfse: browser compatibility fixes 2011-10-03 12:28:49 +00:00
hallgren
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
hallgren
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
hallgren
ad725d8531 gfse: about.html updates 2011-09-28 15:26:34 +00:00
hallgren
6142258302 gfse: mention example-based grammar writing in about.html 2011-09-27 19:18:50 +00:00
hallgren
cdef284b2b exb: call exprToAPI to create nicer linearization functions 2011-09-27 19:17:53 +00:00
hallgren
b9b353795b Server-side support for example-based grammar writing 2011-09-27 18:59:54 +00:00
hallgren
667b37f418 gfse: work in progress on support for example-based grammar writing 2011-09-27 18:40:09 +00:00
hallgren
64beaae58f Update the shell reference manual 2011-09-27 13:20:37 +00:00
aarne
a83b6bea62 don't count app nodes in term size 2011-09-26 13:56:39 +00:00
aarne
ff4929e25e Query/small packaged 2011-09-26 06:56:36 +00:00
aarne
1a3a26563b generalized show_dependencies to take a list of constants as its argument 2011-09-25 08:43:23 +00:00
aarne
0c2f20d04d structured examples in help into pairs (command,explanation) 2011-09-25 08:42:27 +00:00
aarne
780d9ef528 bug fixes in code size analysis 2011-09-24 08:20:58 +00:00
kr.angelov
bb599029c9 change the precedence for the left argument of -> 2011-09-22 16:24:02 +00:00
aarne
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
aarne
baa9bcd9d0 documented the ss command 2011-09-22 07:40:19 +00:00