Graham Nelson
|
2d30638e0d
|
Fix for Jira bug I7-2117
|
2022-05-17 21:33:35 +01:00 |
|
Graham Nelson
|
3ea9ce725f
|
Second attempt to reconcile links
|
2022-04-28 17:37:28 +01:00 |
|
Graham Nelson
|
e3ca7dd3c1
|
Possible fix for navigation link issue between inform and inweb/intest
|
2022-04-28 17:20:06 +01:00 |
|
Graham Nelson
|
99c7394e81
|
Modernised inform.mkscript
|
2022-04-25 16:44:43 +01:00 |
|
Graham Nelson
|
a1aa7642e9
|
Documented and rounded out some debugging features
|
2022-04-18 15:46:46 +01:00 |
|
Graham Nelson
|
a2bc2c4767
|
Miscellaneous catching up
|
2022-04-14 23:14:14 +01:00 |
|
Graham Nelson
|
f9232cb45a
|
Improved test script for GenerateDiagnostics-G
|
2022-04-10 22:28:24 +01:00 |
|
Graham Nelson
|
cba72a3537
|
Improved source website
|
2022-04-04 18:31:44 +01:00 |
|
Graham Nelson
|
c2b1504318
|
Divided codegen module into new modules pipeline and final
|
2021-08-10 11:01:03 +01:00 |
|
Graham Nelson
|
b0c0bf87ea
|
Further post-fragmentation tidying
|
2020-08-27 15:50:24 +01:00 |
|
Graham Nelson
|
568f512b3a
|
Revised Neptune language
|
2020-08-19 18:32:30 +01:00 |
|
Graham Nelson
|
e0cf630409
|
Rewrote Neptune files parser
|
2020-08-18 18:59:08 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
2a48aeb128
|
Completed Chapter 2 of kinds module
|
2020-08-12 13:05:44 +01:00 |
|
Graham Nelson
|
9a97eebe02
|
Clarified kind conformance order relation
|
2020-08-11 23:59:29 +01:00 |
|
Graham Nelson
|
ebc90ce213
|
Join and meet operations on kinds
|
2020-08-11 15:07:58 +01:00 |
|
Graham Nelson
|
83dcd79164
|
Improved kind-checking of contravariant constructors
|
2020-08-11 11:55:39 +01:00 |
|
Graham Nelson
|
23041df765
|
Further work on kinds module and its testing
|
2020-08-09 18:39:31 +01:00 |
|
Graham Nelson
|
dd0605493a
|
Moved kinds module to services library and added test utility
|
2020-08-08 17:40:02 +01:00 |
|
Graham Nelson
|
17381751e8
|
Further resequencing of early compilation
|
2020-08-01 11:35:56 +01:00 |
|
Graham Nelson
|
0365086b1f
|
Reorganised services library
|
2020-05-20 00:02:28 +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
|
0e63cacd7b
|
Removed use of _array_CLASS
|
2020-05-09 14:15:42 +01:00 |
|
Graham Nelson
|
80af58f62e
|
Catching up with Inweb changes
|
2020-05-09 13:07:39 +01:00 |
|
Graham Nelson
|
51be4aa9d7
|
Introduced module overviews
|
2020-05-03 16:34:53 +01:00 |
|
Graham Nelson
|
04b07bbdfb
|
Moved weave colony to shared assets
|
2020-05-03 01:20:55 +01:00 |
|
Graham Nelson
|
f29b66da93
|
Catching up with Inweb changes
|
2020-05-03 01:01:21 +01:00 |
|
Graham Nelson
|
ae621dd4d0
|
Catching up with Foundation function name changes
|
2020-04-15 23:49:59 +01:00 |
|
Graham Nelson
|
1268a0f40e
|
Colonised
|
2020-04-14 17:56:54 +01:00 |
|
Graham Nelson
|
fd4a46ddd8
|
Modernised use of extracts
|
2020-04-07 01:06:09 +01:00 |
|
Graham Nelson
|
424392c3d1
|
Simplified unit test tools and module interfaces
|
2020-03-28 19:42:53 +00:00 |
|
Graham Nelson
|
883077bbc1
|
Standardised module interfaces to foundation and syntax
|
2020-03-28 15:00:33 +00:00 |
|
Graham Nelson
|
4054358914
|
Documented Inbuild
|
2020-03-26 19:22:26 +00:00 |
|
Graham Nelson
|
a693ee4653
|
Documentation tidy-up
|
2020-03-22 10:50:19 +00:00 |
|
Graham Nelson
|
c49ce42a2e
|
New-style weave navigation
|
2020-03-19 00:11:25 +00:00 |
|
Graham Nelson
|
d8e8d824cc
|
Tidied compilation modules
|
2019-04-22 15:42:10 +01:00 |
|
Graham Nelson
|
e3de59fc48
|
Further refactored compilation modules
|
2019-04-22 15:06:29 +01:00 |
|
Graham Nelson
|
9bca5b8bc2
|
Removed footer comment from woven HTML, to reduce spurious changes
|
2019-03-18 00:41:42 +00:00 |
|
Graham Nelson
|
40b1d60e8b
|
Typo
|
2019-03-18 00:37:03 +00:00 |
|
Graham Nelson
|
d969e624cb
|
Incorporated GitHub pages
|
2019-03-17 12:40:57 +00:00 |
|