gdetrez
5be1b5d493
Adding a basic lexicon-based tokenizer and the asociated command in gf shell
2011-02-10 15:00:06 +00:00
gdetrez
0c7676e6e9
Adding an option to the gf compiler to add an index to pgf files
...
This is gonna be used by the android library to skip unused part of a
pgf file
2010-12-11 16:36:30 +00:00
aarne
afbfbaa73a
make it possible to override opers defined in an interface by syntax 'instance Foo of Bar - [f,g,h]'
2011-03-12 11:24:14 +00:00
aarne
87aa41d503
make later flags take priority over earlier ones in PGF generation
2011-03-12 11:22:21 +00:00
aarne
d782be6440
generalized pt -transfer so that it goes into subtrees (naive implementation in TreeOperations; using PGF.Expr.match would be better); example given in 'h pt'
2011-03-12 10:20:54 +00:00
hallgren
9fdcc97716
gfse: documentation fixes, links to MOLTO meeting slides and compiler API document
2011-03-09 11:11:47 +00:00
krasimir
1e4ec3c7d2
fix the grammar browser in the editor
2011-03-08 12:32:51 +00:00
krasimir
93dcac2819
the user can now upload their own grammars in the editor
2011-03-07 21:05:29 +00:00
hallgren
f30e07f5f8
gfse: create a new concrete syntax by copying an existing one
...
When adding a new concrete syntax to a grammar, the currently open concrete
syntax will be copied. If the abstract syntax is currently open, the new
concrete syntax will start out empty.
2011-03-07 17:52:15 +00:00
hallgren
d46c7ee90d
gfse: link back to the editor from the upload page
2011-03-07 16:05:55 +00:00
hallgren
2c6c85974e
gfse: minor layout/formatting variation
2011-03-06 10:19:17 +00:00
aarne
54feac5d26
added composOp generation to haskell-gadt, and an example in examples/gadt-transfer
2011-03-05 22:25:03 +00:00
aarne
603dc34b63
switched the upper and lower parts of lexc entries to their standard order
2011-03-04 17:25:53 +00:00
aarne
c834cb348c
revived GADT generation
2011-03-04 17:05:40 +00:00
aarne
8fc455f22b
fixed a variable refreshing bug in the compiler
2011-03-04 16:44:30 +00:00
hallgren
697e96f539
minibar: add icon for word alignment button
2011-03-03 19:19:47 +00:00
hallgren
a0cd2c232b
minibar: add a button to display word alignment
2011-03-03 19:18:09 +00:00
hallgren
affdcf421e
GF shell restricted mode
...
By setting the environment variable GF_RESTRICTED before starting GF, the shell
will be run in restricted mode. This will prevent the GF shell from starting
arbitrary system commands (most uses of System.Cmd.system are blocked) and
writing arbitrary files (most commands that use writeFile et al are blocked).
Restricted mode is intended minimize the potential security risks involved
in allowing public access to the GF shell over the internet. It should be used
in conjuction with system level protection mechanisms (e.g. file permissions)
to make sure that a publicly acessible GF shell does not give access to parts
of the system that should not be publicly accessible.
2011-03-03 15:42:57 +00:00
aarne
9b26957785
overloaded opers included in sorting of judgements
2011-03-03 15:10:31 +00:00
aarne
93987ee869
print lexicon in Xerox LEXC format: pg -lexc
2011-03-03 08:31:15 +00:00
aarne
3e2d906888
corrected help for l command
2011-03-01 16:15:20 +00:00
hallgren
da740b51c2
minibar/support.js: recognize relative URLs as locations on the same server
...
This means that the relative grammar directory location in the default
configuration will result in AJAX requests rather than the less efficient
JSONP requests.
2011-03-01 14:47:20 +00:00
hallgren
a27f58d6ae
minibar: make the feedback form work in the generic minibar
...
It is still disabled by default, since some manual configuraiton of
feedback.cgi is required.
2011-03-01 13:46:00 +00:00
hallgren
aad6e864b9
gfse: fix missing startcat flag bug + documentation updates
2011-02-28 16:47:25 +00:00
hallgren
fe9eaf0ddd
gfse: fix persmission problem in upload.cgi
2011-02-28 15:46:42 +00:00
hallgren
164018b6c0
gfse: include a -path flag to find rgl modules
2011-02-28 15:45:55 +00:00
hallgren
10f2f3e7d7
gfse: support for opening RGL modules
2011-02-28 14:18:20 +00:00
hallgren
fc1471717c
gfse: minor documentation and style improvements
2011-02-28 12:41:05 +00:00
aarne
a786f1c809
the command show_operations to inspect opers in scope
2011-02-28 13:31:04 +00:00
aarne
5536c31585
removed message showing what modules are read unless in verbose mode
2011-02-26 10:25:09 +00:00
aarne
dd937731f6
Predef.error surfaces as error message in compilation and cc command
2011-02-25 17:01:10 +00:00
aarne
ffc78017b2
command ga moved to option 'aw -giza'
2011-02-25 12:55:36 +00:00
hallgren
b2917c5652
gfse: allow definitions to be reordered by drad-and-drop
2011-02-22 16:04:49 +00:00
hallgren
6173291ec1
gfse: fix typos
2011-02-18 14:51:06 +00:00
hallgren
e2096fef35
gfse: document that grammars can be uploaded and tested in the GF shell, the minibar and the translation quiz
2011-02-18 14:47:20 +00:00
hallgren
f0a80d0ea6
gfse: updated screen shots
2011-02-18 14:46:18 +00:00
hallgren
1ee4844fca
gfse: support for linking to the translation quiz
2011-02-18 11:44:05 +00:00
hallgren
69e7262286
gfse: some small fixes
...
+ 'make install' to copy all required files to the server
+ configuration options and error checks in upload.cgi
2011-02-17 17:35:22 +00:00
hallgren
1715f683dc
Adding the prototype GF editor for simple multilingual grammars
2011-02-17 14:43:41 +00:00
hallgren
b7e13dafa1
Adding the prototype GF editor for simple multilingual grammars
2011-02-17 14:42:16 +00:00
hallgren
60980e40e4
Adding the prototype GF editor for simple multilingual grammars
2011-02-17 14:38:46 +00:00
aarne
e4eccba450
a simple clitic analysis command 'ca'
2011-02-06 16:19:24 +00:00
aarne
d661d45b1e
corrections to ancientgreek encoding by Hans Leiss
2011-01-31 08:06:42 +00:00
aarne
37ace15733
started CompilerAPI, still dummy
2011-01-28 15:28:05 +00:00
hallgren
bfc91294e1
minibar: a small change to make easy to select an alternate grammar directory
2011-01-27 22:23:15 +00:00
hallgren
2ebf3649cf
minibar: update my home page link (cs->cse)
2011-01-11 13:18:19 +00:00
hallgren
b8c1a09896
The name of the fastcgi executable has changed back to pgf-service
2011-01-09 15:32:17 +00:00
krasimir
adbe9cd94d
fix the computation of abstract expressions in the presence of implicit arguments
2011-01-08 20:55:58 +00:00
krasimir
e41df3c873
bugfix in the handling of implicit arguments in the typechecker
2011-01-08 12:55:50 +00:00
krasimir
cdebaef7ef
The GF editor now lets the user to upload his/her own grammars
2010-12-28 16:26:10 +00:00