kr.angelov
4e4881dba5
libpgf: printing of literals and flags
2012-01-23 10:17:20 +00:00
kr.angelov
7fcaa81858
libpgf: move the lindefs field from PgfCncCat to PgfCCat. display the list in the grammar printout
2012-01-23 09:46:45 +00:00
kr.angelov
28bce1cdc0
added an API for printing the PGF to human readable format
2012-01-21 10:27:55 +00:00
kr.angelov
d164ddfbe1
fix the crash in the reader when there aren't any productions per category.
2012-01-21 10:25:43 +00:00
kr.angelov
2eee382a62
initial import of the C runtime
2012-01-20 13:41:10 +00:00
kr.angelov
bb6905e36f
the parser now use nub instead of nubsort which means that the abstract syntax trees will be returned lazily
2011-12-19 13:10:33 +00:00
kr.angelov
7c9bbd844b
Now graphvizAbstractTree suppress the visualization of implicit arguments.
2011-12-08 09:18:38 +00:00
kr.angelov
a2626e24dd
now we store version number in every .gfo file. If the file is compiled with different compiler then we simply recompile it.
2011-11-15 19:12:22 +00:00
kr.angelov
416d231c5e
Now PMCFG is compiled per module and at the end we only link it. The new compilation schema is few times faster.
2011-11-10 14:09:41 +00:00
hallgren
a8185fd997
Preparations for release of GF 3.3
...
+ Changing version numbers and dates here and there.
+ Simplify build-binary-dist.sh since pgf-http need not be built anymore.
+ Use--gf-lib-path to make the sample grammars for minibar compile even if GF
is not installed.
2011-10-25 18:25:49 +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
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
693b807cb5
minibar/support.js: added function encodeArgs.
2011-10-10 17:40:53 +00:00
kr.angelov
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
ra.monique
bdc77bf0e4
added topological sort module to PGF - to be used in example based grammar writing
2011-09-15 16:32:49 +00:00
aarne
d394f76e3d
quick fixes in PGF.TypeCheck suggested by Krasimir; to be revisited
2011-09-14 11:29:35 +00:00
kr.angelov
4215fc31bf
bugfixes in the typechecker and the tree generator
2011-08-30 11:24:59 +00:00
kr.angelov
41a60772c7
bugfix: allow higher-order variables in the linearization
2011-08-30 09:22:44 +00:00
aarne
380011eb7d
skip spaces before closing parenthesis in PGF.Expr.pFactor
2011-08-29 12:03:45 +00:00
aarne
769121788a
import command now gives priority to new abstract syntax, and discards the old concretes if they are for the old abstract; the new priority is implemented in PGF.Data.unionPGF
2011-08-28 10:35:55 +00:00
hallgren
c5086bda7c
minibar: documentation update
2011-08-22 17:55:47 +00:00
hallgren
d45b9edcd8
minibar: quick fix to allow literals to be entered.
...
If you press Enter, the current word will be accepted, even if there are no
matching completions.
(You can now use names of people when constructing sentences in the Letter
grammar, for example.)
2011-08-22 17:03:47 +00:00
hallgren
f19c496b83
minibar: documentation fixes
2011-08-21 21:35:14 +00:00
hallgren
6c8c0cdc24
minibar: bug fix for "Try Google Translate" button
2011-08-19 13:56:12 +00:00
hallgren
4cad2daa29
minibar: adding pgf_offline.js
...
This file exports the same PGF runtime interface as pgf_online.js but calls
the hs2js translation of the PGF runtime library (which is not included
in darcs).
2011-08-16 16:29:51 +00:00
hallgren
b2512234dd
minibar: documentation and API work
2011-08-11 16:28:49 +00:00
hallgren
19d84b6de0
minibar: some functions were in the wrong file
2011-08-11 14:56:34 +00:00
hallgren
91cc4de1a2
minibar: more documentation (in minibar-api.html)
2011-08-09 15:57:40 +00:00
hallgren
d4638f54ba
minibar: refactoring for improved modularity
...
Two smaller objects have been factored out from the Minibar object:
Input and Translations. These have been placed in two separate files:
minibar_input.js and minibar_translations.js. Some common auxiliary functions
have also been moved to a separate file: minibar_support.js
2011-08-08 17:28:24 +00:00
hallgren
e50731c511
minibar: resolve conflict
2011-08-08 14:08:55 +00:00
hallgren
ab8ec58e08
minibar: improve pgf_online.js
...
pgf_online.js has been simplified and generalized to support the full
GF Web Service API. The changes are backwards incompatible, unfortunately.
The documentation and minibar.js have been updated accordingly.
2011-08-03 15:21:38 +00:00
hallgren
a0ec59ccda
minibar: small code and documentation tweaks
2011-08-03 14:24:47 +00:00
hallgren
8c620229e1
minibar: recording old configuration changes
2011-08-08 14:04:51 +00:00
aarne
848373e29e
GenIP, GenRP in Extra and any_Quant in ExtraEng
2011-07-21 08:25:04 +00:00
hallgren
49c27436f5
minibar support.js: add function ajax_http_post for posting FormData
2011-06-21 16:10:44 +00:00
hallgren
6b8fa745e2
minibar: fix typo
2011-04-11 13:03:46 +00:00
hallgren
ca335793de
minibar: small documentation updates and corrections
2011-04-11 13:00:52 +00:00
hallgren
00a08fb4fb
avoid warning from ghc-7.0
...
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
2011-04-06 13:57:19 +00:00
hallgren
b4e3e8c0fa
avoid warning from ghc-7.0
...
Warning: -fglasgow-exts is deprecated: Use individual extensions instead
2011-04-06 13:43:29 +00:00
hallgren
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
hallgren
5c7ebcc511
minibar: add trailing slash in suggested grammar URLs
2011-03-22 15:12:54 +00:00
gdetrez
9a0889d687
Adding a missing file for the tokenizer...
2011-03-17 16:04:21 +00:00
gdetrez
45ecae4b77
Adding a basic lexicon-based tokenizer and the asociated command in gf shell
2011-02-10 15:00:06 +00:00
hallgren
914ee33396
minibar: add icon for word alignment button
2011-03-03 19:19:47 +00:00
hallgren
527e000a12
minibar: add a button to display word alignment
2011-03-03 19:18:09 +00:00
hallgren
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
hallgren
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
aarne
7445e56387
a simple clitic analysis command 'ca'
2011-02-06 16:19:24 +00:00
hallgren
eb21e14991
minibar: a small change to make easy to select an alternate grammar directory
2011-01-27 22:23:15 +00:00
hallgren
11d6326fae
minibar: update my home page link (cs->cse)
2011-01-11 13:18:19 +00:00
