75e401d1a7
generate Eq instance for GADT
2011-04-06 12:27:31 +00:00
7067b1c992
fixed the printing of predefined and list categories in haskell=gadt
2011-04-06 07:45:35 +00:00
b1c2c27ae6
GFI.hs: refactoring to add a function for executing a single GF shell command.
...
The intention is to use the new function to implement a web service API to
the GF shell.
2011-04-04 20:06:55 +00:00
1b08ca8a61
Add build info to the GF shell welcome message
2011-04-04 19:52:07 +00:00
d1b95cef99
gfse: somewhat simplified configuration/installation
2011-03-28 15:04:43 +00:00
06a29cb573
gfse: added an alternate style sheet with the MOLTO color scheme
2011-03-28 14:46:15 +00:00
17f3b456ce
minibar: don't force focus to the typed input field after every word
...
On touch-based devices, the on-screen keyboard kept popping up after every word,
which was very annoying if you were entering a sentence by tapping on the
magnets.
2011-03-22 15:17:48 +00:00
5c7ebcc511
minibar: add trailing slash in suggested grammar URLs
2011-03-22 15:12:54 +00:00
9a0889d687
Adding a missing file for the tokenizer...
2011-03-17 16:04:21 +00:00
45ecae4b77
Adding a basic lexicon-based tokenizer and the asociated command in gf shell
2011-02-10 15:00:06 +00:00
d7ae73f1c7
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
a59df6b495
started a grammar for grammatical terms, covering the cats of the RGL
2011-03-14 18:48:08 +00:00
b9ebd48a2c
smaller query grammars for MOLTO KRI
2011-03-13 19:49:41 +00:00
7361ddea45
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
3ddc29f2dc
make later flags take priority over earlier ones in PGF generation
2011-03-12 11:22:21 +00:00
1599ce4ba9
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
b9bfb3ccec
gfse: documentation fixes, links to MOLTO meeting slides and compiler API document
2011-03-09 11:11:47 +00:00
d30a3b182b
gfse: add a link from demo page to the editor
2011-03-09 10:05:53 +00:00
18519c20fd
fix the grammar browser in the editor
2011-03-08 12:32:51 +00:00
42ad2d5e95
the user can now upload their own grammars in the editor
2011-03-07 21:05:29 +00:00
62c85f1bb6
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
cfb5f6eb7e
gfse: link back to the editor from the upload page
2011-03-07 16:05:55 +00:00
629919667b
gfse: minor layout/formatting variation
2011-03-06 10:19:17 +00:00
f32307b39d
added composOp generation to haskell-gadt, and an example in examples/gadt-transfer
2011-03-05 22:25:03 +00:00
d9b5d3ed4d
switched the upper and lower parts of lexc entries to their standard order
2011-03-04 17:25:53 +00:00
14f11bb2b9
revived GADT generation
2011-03-04 17:05:40 +00:00
88a0790f32
fixed a variable refreshing bug in the compiler
2011-03-04 16:44:30 +00:00
914ee33396
minibar: add icon for word alignment button
2011-03-03 19:19:47 +00:00
527e000a12
minibar: add a button to display word alignment
2011-03-03 19:18:09 +00:00
2c1feccd17
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
b190d30fad
gf.cabal: bump version number, add source repository info
...
I changed the version number to 3.2.1-darcs.
I think the version number of the current version from darcs should always
include the "-darcs" suffix (or "-current" perhaps?). The suffix should be
removed only momentarily when making an official release.
2011-03-03 15:24:43 +00:00
f8c4903285
overloaded opers included in sorting of judgements
2011-03-03 15:10:31 +00:00
f32091cd53
print lexicon in Xerox LEXC format: pg -lexc
2011-03-03 08:31:15 +00:00
8e3674600c
corrected help for l command
2011-03-01 16:15:20 +00:00
e06e587de1
demos/index.html: minibar is now available on the standard port
...
Minibar was at http://www.grammaticalframework.org:41296/minibar/minibar.html
but now also at http://www.grammaticalframework.org/demos/minibar/minibar.html
which means it is accessible behind firewalls that block requests to
nonstandard ports.
2011-03-01 15:02:13 +00:00
6c60b086cf
demo/indx.html: record translation quiz entry
2011-03-01 14:58:51 +00:00
45b59b0e7e
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
a01704fd3e
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
758e2a031d
gfse: fix missing startcat flag bug + documentation updates
2011-02-28 16:47:25 +00:00
790e086a54
gfse: fix persmission problem in upload.cgi
2011-02-28 15:46:42 +00:00
a4c82e51a0
gfse: include a -path flag to find rgl modules
2011-02-28 15:45:55 +00:00
1cae23fce7
gfse: support for opening RGL modules
2011-02-28 14:18:20 +00:00
a9287e83af
gfse: minor documentation and style improvements
2011-02-28 12:41:05 +00:00
0dfbc9b730
the command show_operations to inspect opers in scope
2011-02-28 13:31:04 +00:00
66f95c2cb7
removed message showing what modules are read unless in verbose mode
2011-02-26 10:25:09 +00:00
445a3aafeb
Predef.error surfaces as error message in compilation and cc command
2011-02-25 17:01:10 +00:00
77b02544fb
simple grammar for dates
2011-02-25 15:44:25 +00:00
390566b17e
command ga moved to option 'aw -giza'
2011-02-25 12:55:36 +00:00
c51c011dda
FoodsNep by Dinesh Simk
2011-02-24 14:05:16 +00:00
8b76047cda
gfse: allow definitions to be reordered by drad-and-drop
2011-02-22 16:04:49 +00:00
aarne