hallgren
5400728ef7
minibar.js: add an option to enable/disable the Random button
2010-10-17 16:48:21 +00:00
krasimir
9fdc7134e8
now since the type checking monad TcM is nondeterministic we can use the same monad in PGF.Forest.getAbsTrees
2010-10-14 14:28:40 +00:00
krasimir
cc2232e289
bugfix in PGF.VisualizeTree for handling trees with implicit arguments
2010-10-13 13:32:48 +00:00
krasimir
aa6fd7b13f
WebUI: show error when depth/limit has invalid value
2010-10-13 12:53:42 +00:00
krasimir
f4603cf9d4
fix PGF.Generate.restart. The restart should be done only if there are some solutions found
2010-10-13 12:38:51 +00:00
krasimir
042790fdf6
the PGF service now can do both random and exhaustive generation. these functions now return both the generated tree and its linearization
2010-10-13 12:32:49 +00:00
krasimir
44336bf6d6
improved Web UI for queries
2010-10-13 12:31:38 +00:00
krasimir
1ce14c9120
added option -depth to command gr
2010-10-12 13:36:37 +00:00
krasimir
95733f0b1b
the exhaustive/random generator now knows how to handle computable functions in the types
2010-10-11 17:18:28 +00:00
krasimir
e7f6239bc6
now the generation from template with meta-variables respects the dependent types
2010-10-11 09:59:57 +00:00
krasimir
adda4b8492
added dummy search box for documents
2010-10-07 16:18:45 +00:00
krasimir
d0a5b7a1ae
use TabBar for the links in the upper-left corner of the editor
2010-10-07 15:09:59 +00:00
krasimir
f52b157b34
dummy UI for documents saving/loading in the editor
2010-10-07 14:09:08 +00:00
krasimir
b10731fd97
forgot to remove a trace message
2010-10-02 13:38:00 +00:00
krasimir
7d9bbea985
backtracking for random generation is not enough. we must restart the search after each solution
2010-10-02 13:34:58 +00:00
krasimir
be9ad26aea
refactor the API for random generation again. Now PGF contains probabilities in the abstract syntax
2010-10-02 13:03:57 +00:00
krasimir
c0251e76c5
fixes in FridgeApp. now it is compatible with EditorApp
2010-09-30 08:08:57 +00:00
krasimir
72f505d7df
update PGFService to work after the extensions in the random generation API
2010-09-30 07:35:54 +00:00
krasimir
10a0d370dc
fix the compilation of FridgeApp
2010-09-29 14:15:36 +00:00
krasimir
f94725ba4a
restore the method BracketedString.render which was needed for TranslateApp
2010-09-29 13:53:13 +00:00
krasimir
7c43855ddf
add Magnet.getWord()
2010-09-29 13:47:51 +00:00
krasimir
eb7679763e
added compilation scripts for the editor
2010-09-29 13:32:23 +00:00
krasimir
f1713c3634
initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch
2010-09-29 13:17:48 +00:00
hallgren
518a27a009
minibar: work on adding back support for typing multiple words without pressing enter in between
...
It mostly works now, but some minor issues still need to be fixed.
2010-09-29 13:03:40 +00:00
hallgren
31d0e84617
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
hallgren
6f2a3849f3
minibar/about.html: fix typos and formatting
2010-09-24 12:57:16 +00:00
hallgren
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
hallgren
5e1f2c069f
pgf-server HTTP mode: omit charset from ContentType for static files
...
When pfg-server servers a static file in HTTP mode, it is output as is, so
specifying charset="iso-8859-1" could be wrong.
Note: the a charset can be specified with a meta tag in HTML files,
e.g. for files in UTF-8:
<meta http-equiv="Content-type" content="text/html;charset=UTF-8">
2010-09-24 12:34:38 +00:00
aarne
11bfee735d
restored the .ebnf grammar format
2010-09-24 12:39:49 +00:00
krasimir
4e715c3952
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
krasimir
bc92927692
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
krasimir
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
hallgren
c533314843
minibar.js: server API code cleanup
2010-09-14 17:15:37 +00:00
hallgren
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
hallgren
ed9999784f
minibar.js: add access keys to some of the buttons
2010-09-14 16:45:48 +00:00
hallgren
fa65026136
support.js: create buttons with access keys
2010-09-10 12:20:07 +00:00
hallgren
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
hallgren
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
hallgren
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
hallgren
c662d116f6
Minibar: PGF server API: pass callback functions directly instead of passing function names as strings.
2010-09-05 18:06:45 +00:00
hallgren
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
hallgren
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
hallgren
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
hallgren
c234222cd9
Bug fix: add missing error handler for statically served files in pgf-server HTTP mode
2010-09-02 13:54:16 +00:00
hallgren
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
krasimir
d3e7095ceb
added missing case for GF.Compile.GeneratePMCFG.evalTerm
2010-08-30 07:54:53 +00:00
krasimir
b0e78f33bc
PGF.Expr.normalForm does variable renaming
2010-08-30 07:37:12 +00:00
hallgren
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
krasimir
9aa7c88c5a
native representation for HOAS in PMCFG and incremental type checking of the parse forest
2010-08-09 10:10:08 +00:00
krasimir
b20821dfc3
more advanced complete function in the PGFService
2010-08-24 15:58:22 +00:00
