| 67fbacd | Richard Moot | 27 April 2021, 15:02:38 UTC | Update Supertag.tcl | 27 April 2021, 15:02:38 UTC |
| 3f1facc | Richard Moot | 27 April 2021, 15:02:33 UTC | Corrected stream name "user_err" has been renamed to "user_error" in more recent releases of SWI Prolog, and this was a leftover of older versions of GrailLight | 27 April 2021, 15:02:33 UTC |
| eb7e9e2 | Richard Moot | 27 April 2021, 09:25:41 UTC | Update grail_light_cr_parse_actions.pl | 27 April 2021, 09:25:41 UTC |
| 426763b | Richard Moot | 27 April 2021, 09:25:37 UTC | Update grail_light_nd.pl | 27 April 2021, 09:25:37 UTC |
| e94e43b | Richard Moot | 27 April 2021, 09:25:31 UTC | Added utf-8 encoding | 27 April 2021, 09:25:31 UTC |
| 1afb1c8 | Richard Moot | 13 April 2021, 08:26:14 UTC | Minor compatibility improvements | 13 April 2021, 08:26:14 UTC |
| 8b2e807 | Richard Moot | 11 February 2021, 17:28:36 UTC | Merge branch 'master' of https://github.com/RichardMoot/GrailLight | 11 February 2021, 17:28:36 UTC |
| 36f433e | Richard Moot | 11 February 2021, 17:28:32 UTC | Minor edits | 11 February 2021, 17:28:32 UTC |
| af2caf3 | Richard Moot | 10 February 2021, 15:37:33 UTC | Update latex_proofs.tex | 10 February 2021, 15:37:33 UTC |
| a5649c5 | Richard Moot | 10 February 2021, 15:37:13 UTC | Update big_french_drt.pl | 10 February 2021, 15:37:13 UTC |
| 47caad5 | Richard Moot | 14 February 2020, 17:36:29 UTC | Added some missing cases | 14 February 2020, 17:36:29 UTC |
| 59690c1 | Richard Moot | 14 February 2020, 17:36:06 UTC | Count check library For future incorporation into GrailLight A* search. Compute for the best probability for each Count,Left,Right triple given the supertagger output. This should provide a better heuristic function for A* search, since it only counts the probability of sequences which can actually lead to a proof. | 14 February 2020, 17:36:06 UTC |
| a370c73 | Richard Moot | 11 February 2020, 18:05:15 UTC | Corrected bad sentence break | 11 February 2020, 18:05:15 UTC |
| 655d6a9 | Richard Moot | 11 February 2020, 18:03:40 UTC | Updates/corrections to A* parser | 11 February 2020, 18:03:40 UTC |
| 703cd6d | Richard Moot | 11 February 2020, 14:44:03 UTC | Added is_empty_heap/1 predicate empty_heap/1 is not correct for _testing_ whether a heap is empty, only for creating a new empty heap. | 11 February 2020, 14:44:03 UTC |
| 2082c34 | Richard Moot | 11 February 2020, 14:43:05 UTC | First attempt at adding A* search to the GrailLight chart parser Still needs quite a bit of testing before replacing the main parser. | 11 February 2020, 14:43:05 UTC |
| 8ac64f7 | Richard Moot | 30 January 2020, 09:16:01 UTC | Added cardinal directions and missing roles | 30 January 2020, 09:16:01 UTC |
| c42c453 | Richard Moot | 28 January 2020, 13:07:03 UTC | Merge branch 'master' of https://github.com/RichardMoot/GrailLight | 28 January 2020, 13:07:03 UTC |
| fbb3aa4 | Richard Moot | 28 January 2020, 13:06:59 UTC | Updated TclTk location This is a workaround to get the right TclTk version in MacOS. This is currently flagged as deprecated, though. An alternative solution needs to be found. Add new binding for Supertag.tcl where clicking <Mouse-1> on a formula/probability will display both; this has been added because the <Enter> binding is (for some reason) unreliable when using an external screen or display. | 28 January 2020, 13:06:59 UTC |
| a495d1e | Richard Moot | 27 January 2020, 17:36:42 UTC | Update README.md | 27 January 2020, 17:36:42 UTC |
| 48f1300 | Richard Moot | 27 January 2020, 17:34:15 UTC | Update README.md | 27 January 2020, 17:34:15 UTC |
| b1aba6e | Richard Moot | 27 January 2020, 17:33:26 UTC | Update README.md | 27 January 2020, 17:33:26 UTC |
| 32754a2 | Richard Moot | 27 January 2020, 17:30:51 UTC | Update README.md | 27 January 2020, 17:30:51 UTC |
| 4086b93 | Richard Moot | 27 January 2020, 17:23:28 UTC | Update README.md | 27 January 2020, 17:23:28 UTC |
| c7f5356 | Richard Moot | 27 January 2020, 17:11:10 UTC | Update README.md | 27 January 2020, 17:11:10 UTC |
| b4e21c0 | Richard Moot | 27 January 2020, 17:10:26 UTC | Update README.md | 27 January 2020, 17:10:26 UTC |
| 6010f12 | Richard Moot | 27 January 2020, 16:59:23 UTC | Add files via upload | 27 January 2020, 16:59:23 UTC |
| 0869c9e | Richard Moot | 27 January 2020, 16:58:26 UTC | Update README.md | 27 January 2020, 16:58:26 UTC |
| 3c968c7 | Richard Moot | 27 January 2020, 16:23:21 UTC | Merge branch 'master' of https://github.com/RichardMoot/GrailLight | 27 January 2020, 16:23:21 UTC |
| eb4df95 | Richard Moot | 27 January 2020, 16:23:17 UTC | Minor corrections | 27 January 2020, 16:23:17 UTC |
| c0588a0 | Richard Moot | 27 January 2020, 16:23:07 UTC | Minor corrections | 27 January 2020, 16:23:07 UTC |
| e9fa948 | Richard Moot | 27 January 2020, 16:20:28 UTC | Update ANNODIS_README.txt | 27 January 2020, 16:20:28 UTC |
| efc46fa | Richard Moot | 22 January 2020, 18:57:25 UTC | Update README.md | 22 January 2020, 18:57:25 UTC |
| 5aeccb1 | Richard Moot | 22 January 2020, 17:21:22 UTC | Set theme jekyll-theme-midnight | 22 January 2020, 17:21:22 UTC |
| b73bdaf | Richard Moot | 22 January 2020, 17:10:47 UTC | Update README.md | 22 January 2020, 17:10:47 UTC |
| d77dfba | Richard Moot | 22 January 2020, 17:09:35 UTC | Update README.md | 22 January 2020, 17:09:35 UTC |
| 3b33085 | Richard Moot | 26 July 2019, 15:01:55 UTC | Committing work changes | 26 July 2019, 15:01:55 UTC |
| db1d590 | Richard Moot | 29 May 2019, 14:01:54 UTC | Added new files | 29 May 2019, 14:01:54 UTC |
| 255eae7 | Richard Moot | 29 May 2019, 11:47:38 UTC | Resolved merge conflicts | 29 May 2019, 11:47:38 UTC |
| e04eae0 | Richard Moot | 29 May 2019, 11:37:21 UTC | Added small English DRT grammar | 29 May 2019, 11:37:21 UTC |
| 90c0422 | Richard Moot | 29 May 2019, 11:36:55 UTC | Removed new annotations | 29 May 2019, 11:36:55 UTC |
| e3f3a3a | Richard Moot | 29 May 2019, 11:36:31 UTC | Added small English GrailLight | 29 May 2019, 11:36:31 UTC |
| 7a92dd9 | Richard Moot | 28 May 2019, 19:41:47 UTC | Ignore some auxiliary files | 28 May 2019, 19:41:47 UTC |
| 398f4de | Richard Moot | 28 May 2019, 19:41:35 UTC | Minor updates | 28 May 2019, 19:41:35 UTC |
| e016a24 | Richard Moot | 28 May 2019, 19:41:18 UTC | Added parser actions version of GrailLight | 28 May 2019, 19:41:18 UTC |
| ac463ef | Richard Moot | 28 May 2019, 19:40:10 UTC | Added mini English version | 28 May 2019, 19:40:10 UTC |
| f41d368 | Richard Moot | 28 May 2019, 19:30:30 UTC | Minor additions | 28 May 2019, 19:30:30 UTC |
| be98787 | Richard Moot | 28 May 2019, 19:29:28 UTC | Update chart_proof_to_parser_actions.pl | 28 May 2019, 19:29:28 UTC |
| 940a33e | Richard Moot | 27 May 2019, 16:52:35 UTC | Merge branch 'master' of https://github.com/RichardMoot/GrailLight | 27 May 2019, 16:52:35 UTC |
| 6d13345 | Richard Moot | 27 May 2019, 16:52:19 UTC | Added parse action utilities grail_ligh_cr_parse_actions produces chart proofs where Formula-Sem is replaced by Formula-Sem-Set1-Set2-Set3-Set4 (the state of the four stacks/sets used during chart parsing) | 27 May 2019, 16:52:19 UTC |
| bf82102 | Richard Moot | 16 April 2019, 14:34:29 UTC | Updated copyright info | 16 April 2019, 14:34:29 UTC |
| ad84ec4 | Richard Moot | 30 March 2018, 11:40:34 UTC | Update | 30 March 2018, 11:40:34 UTC |
| db7a3eb | Richard Moot | 29 March 2018, 17:13:23 UTC | Added parser action extraction script | 29 March 2018, 17:13:23 UTC |
| 0b25c87 | Richard Moot | 29 March 2018, 17:13:06 UTC | Added entries for "tel", "minimum/minimal "maximum/maximal" | 29 March 2018, 17:13:06 UTC |
| e5272da | Richard Moot | 26 March 2018, 18:58:21 UTC | Transform annotation to pairs of indices (for number of open brackets before word and number of close brackets after word" | 26 March 2018, 18:58:21 UTC |
| 4d68a74 | Richard Moot | 26 March 2018, 18:53:13 UTC | Deleted annotated sentence | 26 March 2018, 18:53:13 UTC |
| e29853b | Richard Moot | 19 March 2018, 21:24:15 UTC | Corrections/updates for Keras LSTM models | 19 March 2018, 21:24:15 UTC |
| 4e6c2b7 | Richard Moot | 19 March 2018, 19:24:38 UTC | Merged with work copy | 19 March 2018, 19:24:38 UTC |
| d958455 | Richard Moot | 19 March 2018, 19:24:26 UTC | Merge branch 'master' of https://github.com/RichardMoot/GrailLight | 19 March 2018, 19:24:26 UTC |
| f17a369 | Richard Moot | 19 March 2018, 19:23:08 UTC | Minor edit before sync with work copy | 19 March 2018, 19:23:08 UTC |
| 7b5f229 | Richard Moot | 19 March 2018, 15:41:58 UTC | More files to ignore | 19 March 2018, 15:41:58 UTC |
| 42706b5 | Richard Moot | 19 March 2018, 15:41:42 UTC | First attempt to translate semantics to Coq | 19 March 2018, 15:41:42 UTC |
| 21c9681 | Richard Moot | 19 March 2018, 15:32:01 UTC | Updated Supertag.tcl with choice between C&C and Keras LSTM taggers | 19 March 2018, 15:32:01 UTC |
| 5034d3e | Richard Moot | 23 October 2017, 15:09:46 UTC | Minor additions to roles and adjectival past participles | 23 October 2017, 15:09:46 UTC |
| c4070ff | Richard Moot | 23 October 2017, 15:09:08 UTC | Used public ref. to TLGbank | 23 October 2017, 15:09:08 UTC |
| 1d433a7 | Richard Moot | 23 October 2017, 15:01:03 UTC | Updated README | 23 October 2017, 15:01:03 UTC |
| c56c452 | Richard Moot | 30 September 2017, 22:38:09 UTC | Annotated several more sentences | 30 September 2017, 22:38:09 UTC |
| d573462 | Richard Moot | 28 April 2017, 00:05:00 UTC | Added "lorsqu'" tokenization | 28 April 2017, 00:05:00 UTC |
| 876ffe9 | Richard Moot | 28 April 2017, 00:04:42 UTC | Added todo for section 1000 | 28 April 2017, 00:04:42 UTC |
| 78a3bd6 | Richard Moot | 28 April 2017, 00:04:27 UTC | Removed annotated sections | 28 April 2017, 00:04:27 UTC |
| 138dd6d | Richard Moot | 13 December 2016, 15:43:01 UTC | Added target "news" which produces semantics of the annodis sections | 13 December 2016, 15:43:01 UTC |
| 8cb7217 | Richard Moot | 13 December 2016, 15:42:14 UTC | Minor changes to semantics output Output of the semantics now produces Prolog clauses of the predicate semantics/3 (first argument is sentence number, second argument either the constant reduced or the constant unreduced and the final argument the semantics). | 13 December 2016, 15:42:14 UTC |
| ccac315 | Richard Moot | 13 December 2016, 15:40:28 UTC | Added "selon/d'après" as attribution | 13 December 2016, 15:40:28 UTC |
| fddc708 | Richard Moot | 13 December 2016, 15:39:54 UTC | Describe link between annodis.pl and the Annodis corpus | 13 December 2016, 15:39:54 UTC |
| 6204c79 | Richard Moot | 09 December 2016, 01:07:06 UTC | Removed "malais" as lemma for "malaises" | 09 December 2016, 01:07:06 UTC |
| 57f136f | Richard Moot | 09 December 2016, 01:06:38 UTC | Added "se reposer" | 09 December 2016, 01:06:38 UTC |
| 94b3d60 | Richard Moot | 09 December 2016, 01:06:19 UTC | Corrected lemmas for multi-sentence input | 09 December 2016, 01:06:19 UTC |
| 6cdec37 | Richard Moot | 08 December 2016, 17:06:16 UTC | Much more detail for the discourse connectives | 08 December 2016, 17:06:16 UTC |
| ff04e59 | Richard Moot | 13 September 2016, 12:54:23 UTC | Ignoring supertag.pdf | 13 September 2016, 12:54:23 UTC |
| 58dee40 | Richard Moot | 13 September 2016, 12:54:01 UTC | Added .DS_Store | 13 September 2016, 12:54:01 UTC |
| bf5bd7b | Richard Moot | 13 September 2016, 12:53:25 UTC | Removed "malaise" as feminin of "malais" | 13 September 2016, 12:53:25 UTC |
| ff25239 | Richard Moot | 13 September 2016, 12:53:03 UTC | Added "Apres+np" | 13 September 2016, 12:53:03 UTC |
| 87f8828 | Richard Moot | 14 June 2016, 12:55:42 UTC | Removed solution | 14 June 2016, 12:55:42 UTC |
| 6755186 | Richard Moot | 07 June 2016, 13:50:14 UTC | Added to repository | 07 June 2016, 15:36:14 UTC |
| 6126900 | Richard Moot | 07 June 2016, 11:16:23 UTC | Delete proof.log Deleted LaTeX log file from repository | 07 June 2016, 11:16:23 UTC |
| 6663f9e | Richard Moot | 09 May 2016, 11:50:06 UTC | Added comments | 09 May 2016, 11:50:06 UTC |
| 09696de | Richard Moot | 04 May 2016, 11:38:11 UTC | Completed export predicate | 04 May 2016, 11:38:11 UTC |
| 55eded7 | Richard Moot | 04 May 2016, 10:27:56 UTC | Added corpus_prop file | 04 May 2016, 10:27:56 UTC |
| 06b1e5e | Richard Moot | 01 March 2016, 12:00:04 UTC | Minor cleanup | 01 March 2016, 12:00:04 UTC |
| d1ea248 | Richard Moot | 29 February 2016, 19:36:57 UTC | Corrections for quotes, scrollregion, plus added "string trim" | 29 February 2016, 19:36:57 UTC |
| d4db75e | Richard Moot | 29 February 2016, 13:20:50 UTC | Reduced diagnostic messages | 29 February 2016, 13:20:50 UTC |
| fb81244 | Richard Moot | 29 February 2016, 13:15:18 UTC | Merged with home version | 29 February 2016, 13:15:18 UTC |
| dfad872 | Richard Moot | 29 February 2016, 11:51:01 UTC | Removed conflict | 29 February 2016, 11:51:01 UTC |
| ea7866a | Richard Moot | 29 February 2016, 11:41:59 UTC | Corrected quoting and multiple-sentence parsing | 29 February 2016, 11:41:59 UTC |
| 2e3afc2 | Richard Moot | 28 February 2016, 01:03:02 UTC | Corrected a number of control verbs | 28 February 2016, 01:03:02 UTC |
| 8b4ad2c | Richard Moot | 27 February 2016, 19:26:41 UTC | Ingoring supertagger .ps file | 27 February 2016, 19:26:41 UTC |
| 1fbb773 | Richard Moot | 26 February 2016, 15:13:01 UTC | Removed superfluous event/1 predicate | 26 February 2016, 15:13:01 UTC |
| 5f8f995 | Richard Moot | 26 February 2016, 14:49:01 UTC | Corrected entries for "lequel" | 26 February 2016, 14:49:01 UTC |
| a5c7979 | Richard Moot | 26 February 2016, 14:48:02 UTC | Corrected base case for update_seminfo We only need to match all proof axioms, but some of the initial entries can be left unused. | 26 February 2016, 14:48:02 UTC |
| 9a2f035 | Richard Moot | 26 February 2016, 14:29:58 UTC | Corrected "auquel" | 26 February 2016, 14:29:58 UTC |
