Commit Graph

  • 3c3082f8ee fix the compilation of FridgeApp krasimir 2010-09-29 14:15:36 +00:00
  • 10a0d370dc fix the compilation of FridgeApp krasimir 2010-09-29 14:15:36 +00:00
  • 35b14d26f3 restore the method BracketedString.render which was needed for TranslateApp krasimir 2010-09-29 13:53:13 +00:00
  • f94725ba4a restore the method BracketedString.render which was needed for TranslateApp krasimir 2010-09-29 13:53:13 +00:00
  • fdcec4273c add Magnet.getWord() krasimir 2010-09-29 13:47:51 +00:00
  • 7c43855ddf add Magnet.getWord() krasimir 2010-09-29 13:47:51 +00:00
  • 8d37ed015e added compilation scripts for the editor krasimir 2010-09-29 13:32:23 +00:00
  • eb7679763e added compilation scripts for the editor krasimir 2010-09-29 13:32:23 +00:00
  • 3b11f81c6b initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch krasimir 2010-09-29 13:17:48 +00:00
  • f1713c3634 initial import of the new GF editor. Note: the FridgeApp is temporary broken. It will be fixed with the next patch krasimir 2010-09-29 13:17:48 +00:00
  • 8b7d27fe4c minibar: work on adding back support for typing multiple words without pressing enter in between hallgren 2010-09-29 13:03:40 +00:00
  • 518a27a009 minibar: work on adding back support for typing multiple words without pressing enter in between hallgren 2010-09-29 13:03:40 +00:00
  • fe15579b31 extended Attempto with some constructs aarne 2010-09-29 07:16:33 +00:00
  • 9e53a4652d extended Attempto with some constructs aarne 2010-09-29 07:16:33 +00:00
  • 303b3f4700 restricted Cat import in Numeral (for some languages; to do more) aarne 2010-09-29 07:07:07 +00:00
  • 8fa5a50728 fixes in French morpho quiz grammar aarne 2010-09-28 16:52:48 +00:00
  • d85c491451 fixes in French morpho quiz grammar aarne 2010-09-28 16:52:48 +00:00
  • 66672d8af1 minibar: update about.html with description of recent changes hallgren 2010-09-28 11:46:32 +00:00
  • 31d0e84617 minibar: update about.html with description of recent changes hallgren 2010-09-28 11:46:32 +00:00
  • 1ac7a8bd7c minibar/about.html: fix typos and formatting hallgren 2010-09-24 12:57:16 +00:00
  • 6f2a3849f3 minibar/about.html: fix typos and formatting hallgren 2010-09-24 12:57:16 +00:00
  • 72fe93a8c4 minibar.html: specify charset, move initialization hallgren 2010-09-24 12:47:18 +00:00
  • 3d2bf753d4 minibar.html: specify charset, move initialization hallgren 2010-09-24 12:47:18 +00:00
  • 8ce7ef3bdd pgf-server HTTP mode: omit charset from ContentType for static files hallgren 2010-09-24 12:34:38 +00:00
  • 709b0518fa restored the .ebnf grammar format aarne 2010-09-24 12:39:49 +00:00
  • 5e1f2c069f pgf-server HTTP mode: omit charset from ContentType for static files hallgren 2010-09-24 12:34:38 +00:00
  • 11bfee735d restored the .ebnf grammar format aarne 2010-09-24 12:39:49 +00:00
  • 617ce3cce6 the first revision of exhaustive and random generation with dependent types. Still not quite stable. krasimir 2010-09-22 15:49:16 +00:00
  • 4e715c3952 the first revision of exhaustive and random generation with dependent types. Still not quite stable. krasimir 2010-09-22 15:49:16 +00:00
  • 1c9305e7a3 cleanup and export the Probabilistic API from PGF krasimir 2010-09-22 09:06:19 +00:00
  • bc92927692 cleanup and export the Probabilistic API from PGF krasimir 2010-09-22 09:06:19 +00:00
  • fb15e95a07 rename BucharestIndia to BucharestRomania. Agreed with Adam Pease krasimir 2010-09-21 18:42:39 +00:00
  • ec5052f899 rename BucharestIndia to BucharestRomania. Agreed with Adam Pease krasimir 2010-09-21 18:42:39 +00:00
  • ef1a4ebc6e added GeographyEng krasimir 2010-09-21 18:40:11 +00:00
  • 2654d1e5aa added GeographyEng krasimir 2010-09-21 18:40:11 +00:00
  • 70d8765418 fixes in Basic.gf to avoid loops in the reasoner krasimir 2010-09-21 18:38:06 +00:00
  • cce52f3646 fixes in Basic.gf to avoid loops in the reasoner krasimir 2010-09-21 18:38:06 +00:00
  • 197c377c6d since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class krasimir 2010-09-20 15:21:13 +00:00
  • 6170d8ca35 since Satellite is already subclass of AstronomicalBody we could simplify the signature of NaturalSatellite_Class krasimir 2010-09-20 15:21:13 +00:00
  • ef3f1c3883 few more fixes in CountriesAndRegionsEng.gf krasimir 2010-09-18 17:29:02 +00:00
  • d75be87c3d few more fixes in CountriesAndRegionsEng.gf krasimir 2010-09-18 17:29:02 +00:00
  • 21445f9fea fix the linearization of GuineaBissau krasimir 2010-09-18 17:12:52 +00:00
  • 144d0188fe fix the linearization of GuineaBissau krasimir 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 krasimir 2010-09-18 08:57:50 +00:00
  • 696c4e89de 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 krasimir 2010-09-18 08:57:50 +00:00
  • 905aeb9904 fix typo: the linearization of Iraq was Iran krasimir 2010-09-17 18:32:34 +00:00
  • 5b089655bd fix typo: the linearization of Iraq was Iran krasimir 2010-09-17 18:32:34 +00:00
  • e30f2212b9 added MondialRon and CountriesAndRegionsRon with data imported from geonames.org krasimir 2010-09-17 16:22:10 +00:00
  • 86f4b782a4 added MondialRon and CountriesAndRegionsRon with data imported from geonames.org krasimir 2010-09-17 16:22:10 +00:00
  • e1ed8277a9 fix the compilation of CountriesAndRegionsEng.gf krasimir 2010-09-17 16:20:47 +00:00
  • ea8375dc44 fix the compilation of CountriesAndRegionsEng.gf krasimir 2010-09-17 16:20:47 +00:00
  • d2a17f02d7 some comments in Mondial.gf krasimir 2010-09-17 16:19:40 +00:00
  • 323df01cd2 some comments in Mondial.gf krasimir 2010-09-17 16:19:40 +00:00
  • 18e09d6483 remove Model and ProcessTask from MergeRon because they were already moved krasimir 2010-09-17 16:16:36 +00:00
  • e286359a15 remove Model and ProcessTask from MergeRon because they were already moved krasimir 2010-09-17 16:16:36 +00:00
  • f1078b44b6 remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre krasimir 2010-09-17 15:53:58 +00:00
  • 009c5d6889 remove SubClassC and subClassCStm from BasicEng, BasicRon and BasicFre krasimir 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 krasimir 2010-09-12 12:26:38 +00:00
  • 1b6d9ee29d minibar.js: server API code cleanup hallgren 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 hallgren 2010-09-14 16:48:20 +00:00
  • 7581451852 minibar.js: add access keys to some of the buttons hallgren 2010-09-14 16:45:48 +00:00
  • efbc9e9d6d bugfix in PGF.Type.pType: Agda style types like {x : A} -> B should not be supported in GF krasimir 2010-09-12 12:26:38 +00:00
  • c533314843 minibar.js: server API code cleanup hallgren 2010-09-14 17:15:37 +00:00
  • ee36bac494 minibar.js: bug fix: the current word should be accepted when you press enter if it matches one of the possible completions exactly hallgren 2010-09-14 16:48:20 +00:00
  • ed9999784f minibar.js: add access keys to some of the buttons hallgren 2010-09-14 16:45:48 +00:00
  • 17cf4e1276 support.js: create buttons with access keys hallgren 2010-09-10 12:20:07 +00:00
  • fa65026136 support.js: create buttons with access keys hallgren 2010-09-10 12:20:07 +00:00
  • 2d75820da4 pgf-server HTTP mode: support the Accept-Language header hallgren 2010-09-10 11:20:49 +00:00
  • af8645a2f3 pgf-server HTTP mode: support the Accept-Language header hallgren 2010-09-10 11:20:49 +00:00
  • e13e47be8a minibar: default input language is now the user's preferred language, if possible hallgren 2010-09-10 11:03:46 +00:00
  • 846b747cee minibar: default input language is now the user's preferred language, if possible hallgren 2010-09-10 11:03:46 +00:00
  • 46da64cc72 minibar: use AJAX instead of JSONP when possible hallgren 2010-09-10 08:38:11 +00:00
  • f5f8369d97 minibar: use AJAX instead of JSONP when possible hallgren 2010-09-10 08:38:11 +00:00
  • e099336afa add QoSontologyEng and linearization for ProcessTask krasimir 2010-09-06 09:12:49 +00:00
  • f3a4b5b709 add QoSontologyEng and linearization for ProcessTask krasimir 2010-09-06 09:12:49 +00:00
  • 8c2e696f27 added Model and ProcessTask in SumoFre and SumoRon ramona.enache 2010-09-06 08:58:30 +00:00
  • 1c457f0380 added Model and ProcessTask in SumoFre and SumoRon ramona.enache 2010-09-06 08:58:30 +00:00
  • 4143834e69 changed SUMOFre encodings ramona.enache 2010-09-06 08:30:22 +00:00
  • 4a6d43e07b changed SUMOFre encodings ramona.enache 2010-09-06 08:30:22 +00:00
  • 1edd84c21a added basic concepts of the SUMO ontology for French and Romanian ramona.enache 2010-09-04 21:19:03 +00:00
  • 5290659c2c Minibar: PGF server API: pass callback functions directly instead of passing function names as strings. hallgren 2010-09-05 18:06:45 +00:00
  • c85c1e1c11 minibar: fix broken link to brushed-metal background hallgren 2010-09-05 18:01:44 +00:00
  • 3a322e75f5 added basic concepts of the SUMO ontology for French and Romanian ramona.enache 2010-09-04 21:19:03 +00:00
  • c662d116f6 Minibar: PGF server API: pass callback functions directly instead of passing function names as strings. hallgren 2010-09-05 18:06:45 +00:00
  • b14592b0d3 minibar: fix broken link to brushed-metal background hallgren 2010-09-05 18:01:44 +00:00
  • d62c7b8dc1 added Urd to Setup aarne 2010-09-03 14:05:07 +00:00
  • bdf8805250 added Urd to Setup aarne 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 hallgren 2010-09-03 13:12:08 +00:00
  • cff7dfcf7b pgf-server HTTP mode: workaround for bugs in the httpd-shed package that prevented the fridge and translate web apps from working hallgren 2010-09-03 13:12:08 +00:00
  • 70b597dcbc updated Lexicon and Phrasebook for Urd aarne 2010-09-03 12:06:08 +00:00
  • 9fc58ce0e7 kein Deutsch and some other Phrasebook fixes aarne 2010-09-03 09:02:00 +00:00
  • dc64e18ef2 kein Deutsch and some other Phrasebook fixes aarne 2010-09-03 09:02:00 +00:00
  • 1527d470ec prepared German for kein Deutsch aarne 2010-09-02 16:48:22 +00:00
  • da15326109 prepared German for kein Deutsch aarne 2010-09-02 16:48:22 +00:00
  • 952fb7685b word order in indirect 'how far' questions in Eng and Dan aarne 2010-09-02 16:18:35 +00:00
  • d93d426ed0 word order in indirect 'how far' questions in Eng and Dan aarne 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 hallgren 2010-09-02 14:10:07 +00:00
  • c5f0b31dbe pgf-server HTTP mode feature: return the contents of index.html when the URL refers to a directory hallgren 2010-09-02 14:10:07 +00:00
  • daa726d742 Bug fix: add missing error handler for statically served files in pgf-server HTTP mode hallgren 2010-09-02 13:54:16 +00:00
  • c234222cd9 Bug fix: add missing error handler for statically served files in pgf-server HTTP mode hallgren 2010-09-02 13:54:16 +00:00