31d0e84617
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
6f2a3849f3
minibar/about.html: fix typos and formatting
2010-09-24 12:57:16 +00:00
3d2bf753d4
minibar.html: specify charset, move initialization
...
Added a meta tag to specify that the file is in UTF-8. This makes the browser
(at least Firefox) assume that the JavaScript files are also in UTF-8, it seems.
Moved the call to start_minibar() from the <body onload="..."> to the end of
the file. The onload action is not executed until all images in the document
has been loaded, while javascipt at the end of the file is executed as soon
as the HTML file has been loaded. (Calling start_minibar() from the head of
the document would be too soon, since it refers to elements in the body,
which hasn't been loaded yet.)
2010-09-24 12:47:18 +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
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
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
71ea541765
two new functions in the PGF API: mkAbs, unAbs
2010-07-31 16:40:16 +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
df555d54fb
fix the algorithm for items cutting in the partial parser
2010-07-15 14:01:51 +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
0dbe60b7bf
FridgeApp and TranslateApp now show the type errors
2010-07-08 07:57:36 +00:00
8d63bf8d79
report type errors in the shell from command "p"
2010-07-07 12:23:21 +00:00
21c14b1305
simplify the monad TcM
2010-07-07 07:19:56 +00:00
a74e3f963a
Access keys for input fields in minibar and feedback form
2010-07-06 13:36:42 +00:00
e92151caf8
redesign the open-literals API
2010-07-01 08:51:59 +00:00
97a9ddb4a7
rename isLiteralFCat -> isPredefFId, fcat(String|Int|Float) -> fid(String|Int|Float)
2010-06-30 07:40:22 +00:00
4fab73d5e7
in PGF.Printer special output format for SymLit
2010-06-29 09:05:07 +00:00
43736135ca
introduce the type synonym Token=String in the PGF API
2010-06-29 09:00:41 +00:00
237b30d6c4
preliminary version of API for Open Literals
2010-06-22 12:31:04 +00:00
2069d9c9eb
Yay!! Direct generation of PMCFG from GF grammar
2010-06-18 12:55:58 +00:00
d7d893d6b3
the automatically generated printnames were just junks. Now we store printnames only if they are explicitly specified.
2010-06-18 10:19:05 +00:00
58422b189a
PGF.Printer now dumps the printnames as well
2010-06-18 10:04:10 +00:00
7b315e94a4
grammar loader and unloader in C. Abstract Syntax only!
2010-06-16 15:14:34 +00:00
d777e8e52f
dead code elimination for PGF. Note: the produced grammars will not work well with metavariables and high-order abstract syntax
2010-06-09 11:32:59 +00:00
9baef5e291
filter the duplications when doing 'l -table'
2010-06-09 10:21:13 +00:00
098dbc2c72
Changing rec to rec_ in PGF
...
To make glasgow extensions happy we had to rename 'rec' to 'rec_' in sources
from PGF folder.
2010-06-05 11:02:51 +00:00
96919d626e
feedback list styling
2010-06-02 16:50:46 +00:00
f575ea2264
minibar feedback: save user_agent, simple feedback viewer
2010-06-02 16:23:52 +00:00
e29fe45d0a
Feedback form for phrasebook/minibar
2010-06-02 14:36:09 +00:00
47285fe880
New minibar option: default_source_language
2010-06-02 13:59:38 +00:00
b981996783
Some minibar/phrasebook button and style changes
...
* Add help button at top of page.
* Change style of word buttons to look like fridge magnets again.
* New options to specify locations of other pages: feedback_url, help_url. If
they are left undefined, no Help/Feedback buttons will be created.
* Shorter test in Google Translate button.
2010-06-02 13:40:41 +00:00
d71d700615
Improved Goolge Translate button
2010-06-02 10:39:25 +00:00
ceb30f7e0d
Work on the feedback button for the minibar
2010-06-01 20:20:17 +00:00
hallgren