summaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2010-10-02refactor the API for random generation again. Now PGF contains probabilities ↵krasimir
in the abstract syntax
2010-09-30fixes in FridgeApp. now it is compatible with EditorAppkrasimir
2010-09-30update PGFService to work after the extensions in the random generation APIkrasimir
2010-09-29fix the compilation of FridgeAppkrasimir
2010-09-29restore the method BracketedString.render which was needed for TranslateAppkrasimir
2010-09-29add Magnet.getWord()krasimir
2010-09-29added compilation scripts for the editorkrasimir
2010-09-29initial import of the new GF editor. Note: the FridgeApp is temporary ↵krasimir
broken. It will be fixed with the next patch
2010-09-29minibar: work on adding back support for typing multiple words without ↵hallgren
pressing enter in between It mostly works now, but some minor issues still need to be fixed.
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
generated by cgit v1.2.3 (git 2.39.1) at 2026-05-31 17:57:21 +0000