66672d8af1
minibar: update about.html with description of recent changes
2010-09-28 11:46:32 +00:00
1ac7a8bd7c
minibar/about.html: fix typos and formatting
2010-09-24 12:57:16 +00:00
72fe93a8c4
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
8ce7ef3bdd
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
709b0518fa
restored the .ebnf grammar format
2010-09-24 12:39:49 +00:00
617ce3cce6
the first revision of exhaustive and random generation with dependent types. Still not quite stable.
2010-09-22 15:49:16 +00:00
1c9305e7a3
cleanup and export the Probabilistic API from PGF
2010-09-22 09:06:19 +00:00
fb15e95a07
rename BucharestIndia to BucharestRomania. Agreed with Adam Pease
2010-09-21 18:42:39 +00:00
ef1a4ebc6e
added GeographyEng
2010-09-21 18:40:11 +00:00
70d8765418
fixes in Basic.gf to avoid loops in the reasoner
2010-09-21 18:38:06 +00:00
197c377c6d
since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class
2010-09-20 15:21:13 +00:00
ef3f1c3883
few more fixes in CountriesAndRegionsEng.gf
2010-09-18 17:29:02 +00:00
21445f9fea
fix the linearization of GuineaBissau
2010-09-18 17:12:52 +00:00
f2051c33e6
cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax for all countries was moved from CountriesAndRegions to Mondial. It is even more odd that there was a linearization for them both in CountriesAndRegions and Mondial
2010-09-18 08:57:50 +00:00
905aeb9904
fix typo: the linearization of Iraq was Iran
2010-09-17 18:32:34 +00:00
e30f2212b9
added MondialRon and CountriesAndRegionsRon with data imported from geonames.org
2010-09-17 16:22:10 +00:00
e1ed8277a9
fix the compilation of CountriesAndRegionsEng.gf
2010-09-17 16:20:47 +00:00
d2a17f02d7
some comments in Mondial.gf
2010-09-17 16:19:40 +00:00
18e09d6483
remove Model and ProcessTask from MergeRon because they were already moved
2010-09-17 16:16:36 +00:00
f1078b44b6
remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre
2010-09-17 15:53:58 +00:00
d09f62b0b1
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
1b6d9ee29d
minibar.js: server API code cleanup
2010-09-14 17:15:37 +00:00
1f06415774
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
7581451852
minibar.js: add access keys to some of the buttons
2010-09-14 16:45:48 +00:00
17cf4e1276
support.js: create buttons with access keys
2010-09-10 12:20:07 +00:00
2d75820da4
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
e13e47be8a
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
46da64cc72
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
e099336afa
add QoSontologyEng and linearization for ProcessTask
2010-09-06 09:12:49 +00:00
8c2e696f27
added Model and ProcessTask in SumoFre and SumoRon
2010-09-06 08:58:30 +00:00
4143834e69
changed SUMOFre encodings
2010-09-06 08:30:22 +00:00
1edd84c21a
added basic concepts of the SUMO ontology for French and Romanian
2010-09-04 21:19:03 +00:00
5290659c2c
Minibar: PGF server API: pass callback functions directly instead of passing function names as strings.
2010-09-05 18:06:45 +00:00
c85c1e1c11
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
d62c7b8dc1
added Urd to Setup
2010-09-03 14:05:07 +00:00
5b09b82f31
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
9fc58ce0e7
kein Deutsch and some other Phrasebook fixes
2010-09-03 09:02:00 +00:00
1527d470ec
prepared German for kein Deutsch
2010-09-02 16:48:22 +00:00
952fb7685b
word order in indirect 'how far' questions in Eng and Dan
2010-09-02 16:18:35 +00:00
b1bf971066
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
daa726d742
Bug fix: add missing error handler for statically served files in pgf-server HTTP mode
2010-09-02 13:54:16 +00:00
1fd51c0580
Autocompute python version in py-binds.
2010-09-01 12:49:47 +00:00
f0c0648905
Fixing assertion in py-binds test.
2010-09-01 11:10:24 +00:00
e3e525ff6e
Removing obsolete code in py-bindings.
2010-07-28 14:21:43 +00:00
c3e35728eb
Changed calling style in py-bindings.
2010-07-28 14:15:06 +00:00
dcac7254f3
Added 'functions' and 'functionType' to py-bindings.
2010-07-27 15:42:48 +00:00
b9de5c36c0
Added inferExpr to py-bindings.
2010-07-27 07:50:48 +00:00
1209cd8f9e
Added testing of Expr unapplying in py-bindings.
2010-07-25 17:07:14 +00:00
23eb7b6df6
Added unapplying of Expr in py-bindings.
2010-07-25 14:48:25 +00:00
ac23280320
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
hallgren