summaryrefslogtreecommitdiff
AgeCommit message (Expand)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
2010-09-24pgf-server HTTP mode: omit charset from ContentType for static fileshallgren
2010-09-24restored the .ebnf grammar formataarne
2010-09-22the first revision of exhaustive and random generation with dependent types. ...krasimir
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 the...krasimir
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 f...krasimir
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 su...krasimir
2010-09-14minibar.js: server API code cleanuphallgren
2010-09-14minibar.js: bug fix: the current word should be accepted when you press enter...hallgren
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
2010-09-10minibar: default input language is now the user's preferred language, if poss...hallgren
2010-09-10minibar: use AJAX instead of JSONP when possiblehallgren
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
2010-09-05minibar: fix broken link to brushed-metal backgroundhallgren
2010-09-03added Urd to Setupaarne
2010-09-03pgf-server HTTP mode: workaround for bugs in the httpd-shed package that prev...hallgren
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
2010-09-02Bug fix: add missing error handler for statically served files in pgf-server ...hallgren
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 10:52:47 +0000