{"push_id":1478873188,"size":12,"distinct_size":1,"ref":"refs/heads/dev","head":"0b17ed186c9d212ef26923e447ec698cd265f77e","before":"7166755db388d541ff5ae4bb638f741e6c9ea42d","commits":[{"sha":"1a20a62f3beb40a3560cac9be828781a5046d7e7","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Reword preference page to clarify its meaning.\n\n[Refactor][Toolbox]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/1a20a62f3beb40a3560cac9be828781a5046d7e7"},{"sha":"1f2a59d572c4e5061a51fbe01c4b3591a205d132","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"TLC cancellation leaves the ModelEditor in inconsistent state showing\nTLC process as running.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/1f2a59d572c4e5061a51fbe01c4b3591a205d132"},{"sha":"b0d9ee9d90ba4057a64a77079f4daee137e32edb","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"NTFS - although case-sensitive - does not allow a path\nc:/foo/bar/Spec.tla when there exists a similar path\nc:/foo/Bar/Spec.tla.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/b0d9ee9d90ba4057a64a77079f4daee137e32edb"},{"sha":"85628f3717ef17288e1a293a0a4e299b62dfe108","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Create Toolbox's workspace in user.home/.tlaplus.\n\nUsers will have to once move existing workspace/ directories to ~/ and\nrename it to .tlaplus/ manually.\n\n[Toolbox][Feature][Changelog]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/85628f3717ef17288e1a293a0a4e299b62dfe108"},{"sha":"2fd7880202d5b17d8eeb638fb335167b6649c617","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Open .tla files in Toolbox when opened from OS browser.\n\n[Toolbox][Feature][Changelog]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/2fd7880202d5b17d8eeb638fb335167b6649c617"},{"sha":"309a5a8721a4c8cf408fd2e579e29faec94ac5d2","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Remove superfluous LOC missed in previous commit.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/309a5a8721a4c8cf408fd2e579e29faec94ac5d2"},{"sha":"67ad9f77dd910ce259ea671f86d9d567618942ef","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Open the spec unless it is already open.\n\n[Bug][Toolbox]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/67ad9f77dd910ce259ea671f86d9d567618942ef"},{"sha":"bc41764d89baf0b00f710641571d3534ee9e5563","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"On Linux, automatically associate .tla files with the Toolbox.\n\n[Feature][Toolbox]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/bc41764d89baf0b00f710641571d3534ee9e5563"},{"sha":"4b002e8ffd9890014c03a7f51231dbd5de46a060","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Recommend to install webkit. SWT uses webkit as its default browser. The\nToolbox uses the browser to open PDFs.\n\n[Toolbox][Feature]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/4b002e8ffd9890014c03a7f51231dbd5de46a060"},{"sha":"5b7a0a11968f34f13bf041dbaa65369a65abff4c","author":{"name":"Markus Alexander Kuppe","email":"f3097f8c5a0979027006fede0be795a475c20cf6@lemmster.de"},"message":"Make built-in PDF viewer the Toolbox default for Windows and Linux.\n\n[Toolbox][Feature][Changelog]","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/5b7a0a11968f34f13bf041dbaa65369a65abff4c"},{"sha":"889bd050f4eb0b393f45ff20f3c66b73d47913d8","author":{"name":"lamport","email":"e9b7578ef8c7127e0ffb56361fc3ca44ed7af39f@find.on.the.web.com"},"message":"Adding help-page note that depth-first model checking doesn't check\nliveness.","distinct":false,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/889bd050f4eb0b393f45ff20f3c66b73d47913d8"},{"sha":"0b17ed186c9d212ef26923e447ec698cd265f77e","author":{"name":"Ioannis Filippidis","email":"600e5c274dff85d5612d87b58619cf26603097c9@gmail.com"},"message":"API: add space after `\\A, \\E` in `tlatex.sty`, translate to `\\forall\\, \\exists\\,` in TLATeX\n\nSimilarly to `tla2.sty`, so that humans can use `tlatex.sty` to\nwrite TLA+ directly in LaTeX  (without calling TLATeX,\nfor example loading `tlatex.sty` via `tla2texplus-book.sty`)\nOtherwise, quantifiers come very close to the bound variables.\n\nOne could redefine `\\A` in their preamble,\nbut that won't work when using both TLATeX and\nhuman-written TLA+ math in the same LaTeX document.\n\nThe corresponding change in TLATeX is to\nreplace the translation:\n\n```\n\\A -> \\A\\,\n\\forall -> \\forall\\,\n```\n\nwith:\n\n```\n\\A -> \\forall\\,\n\\forall -> \\forall\\,\n```\n\nThis works for both humans (who can type the \"high level\" `\\A`) and\nTLATeX (which generates the \"low level\" `\\forall`).\nMoreover, those who want greater control over spacing can\nstill define their own operator using `\\forall`.\n\nSimilar changes have been made for `\\E`.","distinct":true,"url":"https://api.github.com/repos/johnyf/tlaplus/commits/0b17ed186c9d212ef26923e447ec698cd265f77e"}]}
{"actor":{"display_login":"johnyf"}}