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

6 commits

Author SHA1 Message Date
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 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 5e421866bb Remove hard-coded fonts in RTP template HTML, replace with existing substitution sequence *4 2022-04-30 10:35:18 +01:00
Graham Nelson 0573e3c383 Reorganised main inform repository 2019-03-16 13:12:11 +00:00