ifhub/inform7
1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-05 08:34:22 +03:00
Code Issues Projects Releases Wiki Activity
2037 commits 2 branches 3 tags 159 MiB
Commit graph

2037 commits

This branch
This branch
All branches
Author SHA1 Message Date
David Kinder 2344e59a02 Remove WINDOWS_JAVASCRIPT, put back JAVASCRIPTPRELUDE as needed to generate correct results page for release with old compiler versions 2023-02-09 09:27:26 +00:00
David Kinder d3856710d6
Merge pull request #85 from DavidKinder/master 
One correction to dark mode CSS changes
 2023-02-09 08:39:48 +00:00
David Kinder 796bf4002c One correction to dark mode CSS changes 2023-02-09 08:39:10 +00:00
David Kinder 35a76e9d4a
Merge pull request #84 from DavidKinder/master 
Dark mode HTML generation fixes
 2023-02-09 07:40:09 +00:00
David Kinder 3d2431296c
Merge branch 'ganelson:master' into master 2023-02-09 07:39:52 +00:00
Graham Nelson e20e3c76b2 Further work on tidying 2023-02-08 22:08:44 +00:00
Graham Nelson f9424a3729 Beginning support for extension conversion 2023-02-07 23:30:39 +00:00
David Kinder dfb6ea1a60
Merge branch 'ganelson:master' into master 2023-02-07 18:59:20 +00:00
Graham Nelson f38e835b13 Further work on natural languages 2023-02-05 22:40:29 +00:00
Graham Nelson cfc27e3071 Further work on language bundle reforms 2023-02-05 13:45:38 +00:00
Graham Nelson b3b5d52426 Extension directories and natural language bundles 2023-02-04 23:30:25 +00:00
David Kinder a6ee58f54b
Merge branch 'ganelson:master' into master 2023-02-03 06:49:10 +00:00
Graham Nelson 575100e844 Progress towards extensions containing language bundles 2023-02-02 23:16:53 +00:00
David Kinder 08fc96a19a
Merge branch 'ganelson:master' into master 2023-02-02 06:38:41 +00:00
Graham Nelson 7af87e5206 Directory extensions able to use their own figures, sounds and internal files 2023-02-01 23:17:23 +00:00
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