|
About the Inform Extensions category
|
|
0
|
1456
|
April 28, 2014
|
|
Where are Inform 7 6M62 built-in extensions installed?
|
|
2
|
90
|
October 12, 2024
|
|
Exit Lister by Eric Eve
|
|
4
|
1182
|
June 9, 2024
|
|
Basic Literacy by Bart Massey
|
|
2
|
2874
|
April 2, 2024
|
|
Bulk Limiter by Eric Eve
|
|
4
|
1363
|
January 22, 2024
|
|
Combo locks?
|
|
3
|
241
|
January 9, 2024
|
|
Simple Graphical Window by Emily Short
|
|
22
|
10401
|
November 28, 2023
|
|
Trying to compile Version 2/200807 of Glk Events by Dannii Willis
|
|
20
|
260
|
November 24, 2023
|
|
Threaded Conversation by Chris Conley
|
|
38
|
12007
|
September 2, 2023
|
|
Inform 6/7 interop - mismatch w.r.t properties?
|
|
3
|
352
|
June 27, 2023
|
|
Accessing I6 compiler constants from Inform 7
|
|
6
|
285
|
June 27, 2023
|
|
Inform 6 - object layout documentation?
|
|
2
|
376
|
June 22, 2023
|
|
Cannot parse Greek characters in Inform 7
|
|
27
|
1132
|
June 5, 2023
|
|
Pending timed events extension
|
|
0
|
286
|
June 1, 2023
|
|
Transit System by Emily Short
|
|
7
|
2664
|
April 14, 2023
|
|
Implicit Actions by Eric Eve
|
|
12
|
1323
|
April 6, 2023
|
|
Extension Requests and General Discussion
|
|
54
|
33829
|
March 23, 2023
|
|
Online Docs for Friends of Inform 7 extension repo
|
|
0
|
347
|
March 19, 2023
|
|
Phil Riley's Public I7 Extension Repo
|
|
4
|
397
|
March 18, 2023
|
|
Attribution/Etiquette question when updating/changing someone else's extension
|
|
13
|
397
|
February 7, 2023
|
|
Updating the Hybrid Choices extension for Inform 7 v10
|
|
0
|
563
|
January 24, 2023
|
|
Updating extensions in the GitHub repo for Inform7 v10
|
|
126
|
2828
|
December 20, 2022
|
|
Parser hang in Threaded Conversations 9.1, Inform 7 10.1.2
|
|
5
|
477
|
December 11, 2022
|
|
Non-binary Gender Options, the Singular They, and Inform 7
|
|
14
|
610
|
November 27, 2022
|
|
Measured Liquid by Emily Short
|
|
17
|
6708
|
October 20, 2022
|
|
Easy Doors by Hanon Ondricek
|
|
27
|
8733
|
October 17, 2022
|
|
Data Structures extension
|
|
15
|
826
|
August 3, 2022
|
|
JSON extension
|
|
19
|
1166
|
March 25, 2022
|
|
Unicode File IO extension
|
|
15
|
543
|
February 20, 2022
|
|
Collections extension
|
|
3
|
522
|
February 18, 2022
|