1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-05 00:24:22 +03:00
Commit graph

1922 commits

Author SHA1 Message Date
David Kinder fcb3afde1f
Merge branch 'ganelson:master' into master 2023-01-31 20:35:23 +00:00
Graham Nelson ccff6ddc47 Further work on kits loading from extension directories 2023-01-30 22:15:25 +00:00
David Kinder b9d7db42b5
Merge branch 'ganelson:master' into master 2023-01-30 09:50:10 +00:00
Graham Nelson f149685864 Merge branch 'master' of https://github.com/ganelson/inform 2023-01-29 22:56:31 +00:00
Graham Nelson b8d5f10de5 Minor enclosure change 2023-01-29 22:56:17 +00:00
David Kinder 4172d05d0b Dark mode improvements for extension documentation and the extension index 2023-01-28 19:54:52 +00:00
David Kinder cc23683630
Merge pull request #83 from DavidKinder/master
Adjust a background colour in Windows dark mode
2023-01-27 11:43:23 +00:00
David Kinder 7cbfabf035
Merge branch 'ganelson:master' into master 2023-01-27 11:42:47 +00:00
David Kinder af59385c76 Adjust a background colour in Windows dark mode 2023-01-27 11:42:23 +00:00
Graham Nelson 0ceb9e25f6 Defended some -ability relations 2023-01-26 22:59:48 +00:00
Graham Nelson 5f38856b8c Better defended containment relation 2023-01-25 23:28:25 +00:00
Graham Nelson da1d14a23b Merge branch 'master' of https://github.com/ganelson/inform 2023-01-24 19:46:05 +00:00
Graham Nelson 8cec801bca Allowing now X does not wear/carry Y 2023-01-24 19:45:48 +00:00
David Kinder f8ebb24a7d
Merge pull request #82 from DavidKinder/master
Enable dark mode in CSS for Windows
2023-01-24 11:26:15 +00:00
David Kinder 5f8f9a15aa Enable dark mode in CSS for Windows 2023-01-24 11:25:19 +00:00
Graham Nelson 2b9409629f Changes to the room containment relation 2023-01-23 22:34:28 +00:00
Graham Nelson cbf80c489f Tweaked holding 2023-01-23 18:08:29 +00:00
Graham Nelson 71f1d3f00d Continuing work on IE-0015 2023-01-23 10:50:02 +00:00
Graham Nelson fde574dd0e Improvements to the regional containment relation 2023-01-19 23:45:55 +00:00
Graham Nelson 0586224550 Holder of a direction is now nothing 2023-01-18 23:13:39 +00:00
Graham Nelson 2f2b657cd5 Merge branch 'master' of https://github.com/ganelson/inform 2023-01-17 23:56:43 +00:00
Graham Nelson 0e57c6060e Further experiments with R_holding 2023-01-17 23:56:07 +00:00
Graham Nelson cc08b7cdec Making a start on IE-0015 world model enforcement 2023-01-16 22:45:50 +00:00
David Kinder f6769cf25c
Merge pull request #81 from DavidKinder/master
Update Windows CSS to match MacOS
2023-01-11 22:05:57 +00:00
David Kinder bdf0e9e630 Remove explicit font name from Windows CSS 2023-01-11 22:04:29 +00:00
David Kinder d3815c5624 Update Windows CSS to match MacOS, part of work on Windows dark mode 2023-01-11 22:01:44 +00:00
Zed Lopez 7d8ce28b6f docs-src/Patterns/W3Enhanced/template-index.html fix take2 2023-01-10 16:41:28 -08:00
Zed Lopez ef9298c54d remove gap before table body 2023-01-09 21:04:41 -08:00
Graham Nelson 63b5222e03 Change to Inter to support new kind constructors 2023-01-07 14:49:15 +00:00
Graham Nelson bbb1461f84 Updated notes 2023-01-05 22:36:42 +00:00
Graham Nelson 1cd75d8a49 Fix for Jira bug I7-2237 2023-01-05 22:30:29 +00:00
Graham Nelson 73d1e9cd06 Updated notes 2023-01-05 21:07:37 +00:00
Graham Nelson ce2b7ba15b Fix for Jira bug I7-2255 2023-01-05 21:06:00 +00:00
Graham Nelson b5659329d0 Fix for Jira bug I7-2221 2023-01-05 20:57:55 +00:00
Graham Nelson d82f6d4eff Updated notes 2023-01-05 09:41:47 +00:00
Graham Nelson cbe7012fb6 Fix for Jira bug I7-2264 2023-01-05 09:36:39 +00:00
Graham Nelson 47b5fd97c6 Updated notes 2023-01-04 23:11:05 +00:00
Graham Nelson b5c35fb98e Fix for Jira bug I7-2235 2023-01-04 23:09:20 +00:00
Graham Nelson 8cfc6f421e Updated notes 2023-01-04 19:07:55 +00:00
Graham Nelson 3ebcac0b5d Fix for Jira bug I7-2247 2023-01-04 19:04:00 +00:00
Graham Nelson b1ea29c902 Updated notes 2023-01-02 10:31:19 +00:00
Graham Nelson f46433c22c Fix for Jira bug I7-2267 2023-01-02 10:27:52 +00:00
Graham Nelson 09b4b4076c Update to notes 2023-01-01 22:31:37 +00:00
Graham Nelson 5efb769307 Merge branch 'master' of https://github.com/ganelson/inform 2023-01-01 22:30:04 +00:00
Graham Nelson 46349cb85c Fix for Jira bug I7-2269 2023-01-01 22:29:11 +00:00
Graham Nelson 9bb92553e5 Fix for Jira bug I7-2270 2023-01-01 22:01:39 +00:00
Graham Nelson 52a24012f3 Fix for Jira bug I7-2268 2023-01-01 21:56:04 +00:00
Graham Nelson 9a4d82e1ea
Merge pull request #78 from neuhaus/patch-1
fix link to versioning document
2022-12-23 14:25:12 +00:00
S. Neuhaus 090c78bb42
fix link to versioning document 2022-12-22 13:53:57 +01:00
Graham Nelson ee89c167a7 Typo corrected 2022-12-10 23:53:51 +00:00