1
0
Fork 0
mirror of https://github.com/ganelson/inform.git synced 2024-07-08 10:04:21 +03:00
Commit graph

21 commits

Author SHA1 Message Date
Graham Nelson 097d74b62d Progress towards extension pages 2023-07-17 22:54:02 +01:00
Graham Nelson fb602f6e2c Removal of now unnecessary census code 2023-07-13 00:23:12 +01:00
Graham Nelson 1cd2558257 Inessential extensions removed from core Inform repository 2023-07-09 12:07:18 +01:00
Graham Nelson fe9aa9e32d Simplified extensions page 2023-07-09 11:14:58 +01:00
Graham Nelson 8da3a9f58f More on Extensions page 2023-07-05 09:52:32 +01:00
Graham Nelson 000c4f928d Further on Extensions page 2023-07-04 21:49:18 +01:00
Graham Nelson e026f39c2c Further on new Extensions page 2023-07-04 17:04:07 +01:00
Graham Nelson 6074ba799d Starting work on new Extensions in-app page 2023-07-04 08:23:27 +01:00
Graham Nelson 2bb1f6f80c Breaking ground on IE-0001 2022-12-07 23:28:26 +00:00
Graham Nelson 7eaa555953 Further work on removing hard-wired colours, to support Dark Mode apps 2022-06-16 23:42:17 +01:00
Graham Nelson 13cb22ae9b Removed some hard-wired CSS colours from the source code 2022-06-13 19:42:39 +01:00
Graham Nelson 8194bee4d4 Began revisions to facilitate use of per-platform CSS 2022-05-04 23:23:12 +01:00
Graham Nelson 0a66e63a99 Minor visual fixes 2022-04-30 14:12:52 +01:00
Graham Nelson cc4287a9e7 Refactored arch module to provide new -format notation 2021-09-11 14:36:26 +01:00
Graham Nelson d749074da9 Refactored the index with a better API 2021-07-26 13:48:49 +01:00
Graham Nelson 409411440a Began a migration of indexing to codegen 2021-05-31 17:45:44 +01:00
Graham Nelson 822b38d314 Migrated to clang 11 2020-06-27 23:18:54 +01:00
Graham Nelson e630531226 Restructured html module 2020-05-10 17:33:41 +01:00
Graham Nelson dd8233116c Documented arch module 2020-05-09 23:49:59 +01:00
Graham Nelson baff90449f Refactored to remove works hash and enable multiple versions in ext dictionary 2020-05-09 16:25:04 +01:00
Graham Nelson 00147622fe Completed census revision 2020-05-09 12:10:43 +01:00