summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-09-29extended Attempto with some constructsaarne
2010-09-28fixes in French morpho quiz grammaraarne
2010-09-28minibar: update about.html with description of recent changeshallgren
2010-09-24minibar/about.html: fix typos and formattinghallgren
2010-09-24minibar.html: specify charset, move initializationhallgren
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-24pgf-server HTTP mode: omit charset from ContentType for static fileshallgren
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-24restored the .ebnf grammar formataarne
2010-09-22the first revision of exhaustive and random generation with dependent types. ↵krasimir
Still not quite stable.
2010-09-22cleanup and export the Probabilistic API from PGFkrasimir
2010-09-21rename BucharestIndia to BucharestRomania. Agreed with Adam Peasekrasimir
2010-09-21added GeographyEngkrasimir
2010-09-21fixes in Basic.gf to avoid loops in the reasonerkrasimir
2010-09-20since Satellite is already subclass of AstronomicalBody we could simplify ↵krasimir
the signature of NaturalSatellite_Class
2010-09-18few more fixes in CountriesAndRegionsEng.gfkrasimir
2010-09-18fix the linearization of GuineaBissaukrasimir
2010-09-18cleanup CountriesAndRegions and Mondial. For some reasonthe abstract syntax ↵krasimir
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-17fix typo: the linearization of Iraq was Irankrasimir
2010-09-17added MondialRon and CountriesAndRegionsRon with data imported from geonames.orgkrasimir
2010-09-17fix the compilation of CountriesAndRegionsEng.gfkrasimir
2010-09-17some comments in Mondial.gfkrasimir
2010-09-17remove Model and ProcessTask from MergeRon because they were already movedkrasimir
2010-09-17remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFrekrasimir
2010-09-12bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be ↵krasimir
supported in GF
2010-09-14minibar.js: server API code cleanuphallgren
2010-09-14minibar.js: bug fix: the current word should be accepted when you press ↵hallgren
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-14minibar.js: add access keys to some of the buttonshallgren
2010-09-10support.js: create buttons with access keyshallgren
2010-09-10pgf-server HTTP mode: support the Accept-Language headerhallgren
It is needed for the userLanguage field in the grammar info from pgf-server
2010-09-10minibar: default input language is now the user's preferred language, if ↵hallgren
possible This is implemented using the userLanguage field in the grammar info output by pgf-server.
2010-09-10minibar: use AJAX instead of JSONP when possiblehallgren
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-06add QoSontologyEng and linearization for ProcessTaskkrasimir
2010-09-06added Model and ProcessTask in SumoFre and SumoRonramona.enache
2010-09-06changed SUMOFre encodingsramona.enache
2010-09-04added basic concepts of the SUMO ontology for French and Romanianramona.enache
2010-09-05Minibar: PGF server API: pass callback functions directly instead of passing ↵hallgren
function names as strings.
2010-09-05minibar: fix broken link to brushed-metal backgroundhallgren
Solution: include a local copy of brushed-metal.png
2010-09-03added Urd to Setupaarne
2010-09-03pgf-server HTTP mode: workaround for bugs in the httpd-shed package that ↵hallgren
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-03kein Deutsch and some other Phrasebook fixesaarne
2010-09-02prepared German for kein Deutschaarne
2010-09-02word order in indirect 'how far' questions in Eng and Danaarne
2010-09-02pgf-server HTTP mode feature: return the contents of index.html when the URL ↵hallgren
refers to a directory
2010-09-02Bug fix: add missing error handler for statically served files in pgf-server ↵hallgren
HTTP mode
2010-09-01Autocompute python version in py-binds.jordi.saludes
2010-09-01Fixing assertion in py-binds test.jordi.saludes
2010-07-28Removing obsolete code in py-bindings.jordi.saludes
2010-07-28Changed calling style in py-bindings.jordi.saludes
2010-07-27Added 'functions' and 'functionType' to py-bindings.jordi.saludes
2010-07-27Added inferExpr to py-bindings.jordi.saludes
2010-07-25Added testing of Expr unapplying in py-bindings.jordi.saludes
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-31 06:54:14 +0000