11bfee735d
restored the .ebnf grammar format
2010-09-24 12:39:49 +00:00
4e715c3952
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
bc92927692
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
efbc9e9d6d
bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF
2010-09-12 12:26:38 +00:00
c533314843
minibar.js: server API code cleanup
2010-09-14 17:15:37 +00:00
ee36bac494
minibar.js: bug fix: the current word should be accepted when you press enter if it matches one of the possible completions exactly
...
The current word is also accepted if there is only one remaining possible
completion.
2010-09-14 16:48:20 +00:00
ed9999784f
minibar.js: add access keys to some of the buttons
2010-09-14 16:45:48 +00:00
fa65026136
support.js: create buttons with access keys
2010-09-10 12:20:07 +00:00
af8645a2f3
pgf-server HTTP mode: support the Accept-Language header
...
It is needed for the userLanguage field in the grammar info from pgf-server
2010-09-10 11:20:49 +00:00
846b747cee
minibar: default input language is now the user's preferred language, if possible
...
This is implemented using the userLanguage field in the grammar info output by
pgf-server.
2010-09-10 11:03:46 +00:00
f5f8369d97
minibar: use AJAX instead of JSONP when possible
...
Using AJAX instead of JSONP can give better caching in the browser, since the
URL doesn't need to contain a (dynamically generated) callback function name.
But because of the same origin policy in JavaScript, AJAX can only be used when
the HTML file is served from the same server as the PGF. The new function
http_get_json in support.js uses AJAX if this is the case, and falls back to
JSONP otherwise.
2010-09-10 08:38:11 +00:00
c662d116f6
Minibar: PGF server API: pass callback functions directly instead of passing function names as strings.
2010-09-05 18:06:45 +00:00
b14592b0d3
minibar: fix broken link to brushed-metal background
...
Solution: include a local copy of brushed-metal.png
2010-09-05 18:01:44 +00:00
cff7dfcf7b
pgf-server HTTP mode: workaround for bugs in the httpd-shed package that prevented the fridge and translate web apps from working
...
queryToArguments "?&input=bla+bla"
returns [("&input","bla+bla")]
but should return [("input","bla bla")]
2010-09-03 13:12:08 +00:00
c5f0b31dbe
pgf-server HTTP mode feature: return the contents of index.html when the URL refers to a directory
2010-09-02 14:10:07 +00:00
c234222cd9
Bug fix: add missing error handler for statically served files in pgf-server HTTP mode
2010-09-02 13:54:16 +00:00
ea67281820
Standalone HTTP version of pgf-server
...
pgf-server can now act as a standalone HTTP server. To activate this mode,
start it with
pfg-server http
to use the default port number (41296), or give an explicit port number, e.g.,
pgf-server http 8080
The HTTP server serves PGF files in the same way as the old FastCGI interface.
In addition, it also serves static files. The document root for static files
is the www subdirectory of the current directory where pgf-server is started.
In spite of these addition, backwards compatibility is maintaned. The old
FastCGI interface continues to work as before. (It is activated when
pgf-server is started without arguments.)
2010-09-01 14:08:52 +00:00
d3e7095ceb
added missing case for GF.Compile.GeneratePMCFG.evalTerm
2010-08-30 07:54:53 +00:00
b0e78f33bc
PGF.Expr.normalForm does variable renaming
2010-08-30 07:37:12 +00:00
3a120aaf17
Adapt minibar.js to the current GF web service API
...
Quick fix. More work needed for correct behaviour when multiple words are
entered at once.
2010-08-27 16:46:14 +00:00
9aa7c88c5a
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
b20821dfc3
more advanced complete function in the PGFService
2010-08-24 15:58:22 +00:00
4a2332811e
revert the TranslateApp to its classical simple variant
2010-08-24 15:17:11 +00:00
19a2c993d6
remove Editor.css as well
2010-08-24 15:04:34 +00:00
fae3df9d1f
remove the canParse flag from the GWT applications
2010-08-24 14:59:59 +00:00
4d1dea1b40
remove the experimental GWT EditorApp
2010-08-24 14:41:37 +00:00
f2308d174f
GF emacs mode
2010-08-19 11:36:24 +00:00
71ea541765
two new functions in the PGF API: mkAbs, unAbs
2010-07-31 16:40:16 +00:00
39e83436e2
bugfix in the PGF browser
2010-07-31 16:04:15 +00:00
57ec23e630
the PGF service now generates samples of the syntax in the browsing information
2010-07-31 15:54:03 +00:00
b8214aff83
fix: FastCGIUtils.outputHTML should do UTF8 encoding
2010-07-31 13:56:55 +00:00
b227c8a586
now the meta id of the meta variables is accessible via the PGF API
2010-07-31 12:52:20 +00:00
ebe5b87738
added function unType in PGF
2010-07-31 12:47:10 +00:00
fefd78222a
fix: PGFService should type-check the trees that comes from the user
2010-07-31 10:45:59 +00:00
df555d54fb
fix the algorithm for items cutting in the partial parser
2010-07-15 14:01:51 +00:00
b57dda5d94
detailed information for the type errors from PGFService
2010-07-13 15:33:54 +00:00
ef68e209c2
fix the loopchecking in PGF.Forest.bracketedTokn
2010-07-13 12:04:06 +00:00
c9cca8a77e
Add missing <td> tags in the HTML constructed by functio show_groupedtranslations
2010-07-13 11:54:42 +00:00
032cd65f8f
Bug fix in minibar.js: no translations where shown when using option show_grouped_translations: false
...
This affected minibar.html but not phrasebook.html and was
caused by accidental shadowing of function tr in function show_translations.
2010-07-13 11:35:28 +00:00
866ef5ead0
Make minibar.js work again after backwards incompatible changes to the data structures output by pgf-server.
...
The canParse field was removed without notice.
2010-07-13 10:22:03 +00:00
5ea08bd2e8
bugfix in the decoding of literals in PGF.Binary
2010-07-13 08:24:03 +00:00
e1e492cc5f
updates in the Eclipse project for GWT UI
2010-07-08 16:50:51 +00:00
d0ce81a02c
update the shell scripts and some other configuration files for GWT 2.0.4
2010-07-08 12:03:36 +00:00
c4a00695db
update the package name for the Android UI
2010-07-08 10:26:10 +00:00
4539830212
add src/ui folder for both Android and GWT UIs
2010-07-08 10:06:26 +00:00
1cb3cfb4c2
change the package name of the GWT Apps to org.grammaticalframework.ui.gwt
2010-07-08 09:55:09 +00:00
161403e7d3
upgrade to GWT 2.0.4
2010-07-08 09:32:17 +00:00
0dbe60b7bf
FridgeApp and TranslateApp now show the type errors
2010-07-08 07:57:36 +00:00
1a7210dc18
fix PGFService after the change in the parser API
2010-07-07 14:46:24 +00:00
8d63bf8d79
report type errors in the shell from command "p"
2010-07-07 12:23:21 +00:00
aarne