b615185 | Casper Bach Poulsen | 31 January 2023, 12:41:24 UTC | Fix ccs | 31 January 2023, 12:41:24 UTC |
90a7ce7 | Casper Bach Poulsen | 31 January 2023, 12:37:52 UTC | overfull hbox | 31 January 2023, 12:37:52 UTC |
87bc271 | Casper Bach Poulsen | 31 January 2023, 12:35:14 UTC | Drop editor field to fix warning | 31 January 2023, 12:35:14 UTC |
beba686 | Casper Bach Poulsen | 31 January 2023, 12:33:48 UTC | Fix overfull hbox | 31 January 2023, 12:33:48 UTC |
3cf1c86 | Casper Bach Poulsen | 31 January 2023, 12:29:33 UTC | Add missing file. | 31 January 2023, 12:29:33 UTC |
5761b57 | Casper Bach Poulsen | 31 January 2023, 12:28:14 UTC | Remove line numbers. Other meta-data | 31 January 2023, 12:28:14 UTC |
228f8d5 | Casper Bach Poulsen | 31 January 2023, 12:27:55 UTC | Merge branch 'master' of https://github.com/casperbp/intrinsically-capture-avoiding into master | 31 January 2023, 12:27:55 UTC |
ae57887 | Casper Bach Poulsen | 31 January 2023, 12:27:31 UTC | delete redundant files | 31 January 2023, 12:27:31 UTC |
cc0caf3 | Casper Bach Poulsen | 30 January 2023, 23:54:48 UTC | Polishing | 30 January 2023, 23:54:48 UTC |
2495685 | Casper Bach Poulsen | 30 January 2023, 23:13:54 UTC | Some polishing | 30 January 2023, 23:13:54 UTC |
70f52ae | Casper Bach Poulsen | 25 January 2023, 19:57:25 UTC | meta-lang change | 25 January 2023, 19:57:25 UTC |
528d024 | Casper Bach Poulsen | 25 January 2023, 09:51:17 UTC | Update README | 25 January 2023, 09:51:17 UTC |
3f5f53f | Casper Bach Poulsen | 25 January 2023, 09:50:42 UTC | Update pdf | 25 January 2023, 09:50:42 UTC |
97f5c1b | Casper Bach Poulsen | 24 January 2023, 01:56:21 UTC | suppress URLs in bib | 24 January 2023, 01:56:21 UTC |
962209f | Casper Bach Poulsen | 24 January 2023, 01:51:44 UTC | suppress URLs in bib | 24 January 2023, 01:51:44 UTC |
5ad14c5 | Casper Bach Poulsen | 23 January 2023, 23:26:35 UTC | PDF | 23 January 2023, 23:26:35 UTC |
c503f05 | Casper Bach Poulsen | 23 January 2023, 23:26:16 UTC | tweaks | 23 January 2023, 23:26:16 UTC |
32250b1 | Casper Bach Poulsen | 23 January 2023, 21:26:35 UTC | PDF | 23 January 2023, 21:26:35 UTC |
d4e2dd1 | Casper Bach Poulsen | 23 January 2023, 21:25:01 UTC | PDF | 23 January 2023, 21:25:01 UTC |
66dee64 | Casper Bach Poulsen | 23 January 2023, 21:22:54 UTC | Folders | 23 January 2023, 21:22:54 UTC |
f1873b3 | Casper Bach Poulsen | 23 January 2023, 21:22:21 UTC | Revision | 23 January 2023, 21:22:21 UTC |
3e3230e | Casper Bach Poulsen | 14 November 2022, 15:06:01 UTC | Fix broken link | 14 November 2022, 15:06:01 UTC |
9edcb71 | Casper Bach Poulsen | 12 November 2022, 10:25:43 UTC | a word | 12 November 2022, 10:25:43 UTC |
5b826be | Casper Bach Poulsen | 12 November 2022, 10:24:54 UTC | Fix typesetting bug | 12 November 2022, 10:24:54 UTC |
9a5acfb | Casper Bach Poulsen | 11 November 2022, 19:16:13 UTC | fix typo | 11 November 2022, 19:16:13 UTC |
d37268e | Casper Bach Poulsen | 10 November 2022, 23:29:17 UTC | Update PDF | 10 November 2022, 23:29:17 UTC |
45c5825 | Casper Bach Poulsen | 10 November 2022, 23:28:30 UTC | Polishing and change format to LIPIcs | 10 November 2022, 23:28:30 UTC |
9d8a610 | Casper Bach Poulsen | 27 August 2022, 09:33:27 UTC | Add lib | 27 August 2022, 09:33:27 UTC |
6f435fb | Casper Bach Poulsen | 27 August 2022, 09:26:15 UTC | typo | 27 August 2022, 09:26:19 UTC |
d30a66b | Casper Bach Poulsen | 27 August 2022, 09:23:23 UTC | Update README.md | 27 August 2022, 09:23:23 UTC |
8976945 | Casper Bach Poulsen | 26 August 2022, 21:50:02 UTC | Create README.md | 26 August 2022, 21:50:02 UTC |
9376ff6 | Casper Bach Poulsen | 26 August 2022, 21:48:01 UTC | PDF | 26 August 2022, 21:48:01 UTC |
d33b3fc | Casper Bach Poulsen | 26 August 2022, 21:18:48 UTC | First draft; LNCS format | 26 August 2022, 21:18:48 UTC |
317a3df | Casper Bach Poulsen | 25 August 2022, 14:33:02 UTC | S2; some polishing | 25 August 2022, 14:33:02 UTC |
50dcfeb | Casper Bach Poulsen | 22 August 2022, 21:30:21 UTC | Intro; start of 2 | 22 August 2022, 21:30:21 UTC |
f499738 | Casper Bach Poulsen | 22 August 2022, 09:29:12 UTC | Interpreter and normalizer. Sectionazation. | 22 August 2022, 09:29:12 UTC |
710f131 | Casper Bach Poulsen | 21 August 2022, 23:33:01 UTC | Subtraction operation in interface instead | 21 August 2022, 23:33:01 UTC |
78c6d48 | Casper Bach Poulsen | 21 August 2022, 21:21:26 UTC | normalization | 21 August 2022, 21:21:26 UTC |
dcb821d | Casper Bach Poulsen | 20 August 2022, 23:07:13 UTC | Initial commit | 20 August 2022, 23:07:13 UTC |