Graham Nelson
|
aa9fc07f4a
|
Refactored the map plugin
|
2021-02-25 14:09:17 +00:00 |
|
Graham Nelson
|
f7fdc6b63a
|
Reorganised the regions plugin
|
2021-02-25 08:53:42 +00:00 |
|
Graham Nelson
|
4730cc2f2d
|
Miscellaneous work on spatial model
|
2021-02-25 00:15:09 +00:00 |
|
Graham Nelson
|
b6b68a8f9d
|
Make actions and parsing plugins more prominent
|
2021-02-24 00:17:14 +00:00 |
|
Graham Nelson
|
787df813d1
|
Moved naming plugin into knowledge module
|
2021-02-23 21:17:13 +00:00 |
|
Graham Nelson
|
8531afdb4d
|
Improved separation of plugins from main compiler
|
2021-02-23 00:25:10 +00:00 |
|
Graham Nelson
|
49fbd6df7d
|
Rebuilt bibliographic plugin
|
2021-02-21 18:47:27 +00:00 |
|
Graham Nelson
|
7a8ec51907
|
Completed refactor of plugins
|
2021-02-20 15:45:46 +00:00 |
|
Graham Nelson
|
caa5069ed5
|
Began revamp of plugins
|
2021-02-19 23:20:09 +00:00 |
|
Graham Nelson
|
c3260f05ed
|
Completed revision of the knowledge module
|
2021-02-19 00:21:55 +00:00 |
|
Graham Nelson
|
3c680789e5
|
Began refactoring properties
|
2021-02-17 23:32:04 +00:00 |
|
Graham Nelson
|
3adac82a69
|
Clarified inference sorting
|
2021-02-16 19:21:06 +00:00 |
|
Graham Nelson
|
89f9b0e45d
|
Refactored inferences
|
2021-02-16 00:54:32 +00:00 |
|
Graham Nelson
|
b2a5a56317
|
Finished reorganising subjects
|
2021-02-12 13:33:19 +00:00 |
|
Graham Nelson
|
fab4ab3c78
|
Refactored inference subjects into families with methods
|
2021-02-11 22:53:43 +00:00 |
|
Graham Nelson
|
43bbcdbaf4
|
Completed assertions module
|
2021-02-05 00:15:21 +00:00 |
|
Graham Nelson
|
180d254ca7
|
Tidying up calculus module
|
2020-09-02 23:24:10 +01:00 |
|
Graham Nelson
|
515b130748
|
Pared calculus module down to essential predicates only
|
2020-08-29 09:33:21 +01:00 |
|
Graham Nelson
|
dfcc5ee277
|
Completed fragmentation
|
2020-08-26 10:52:50 +01:00 |
|
Graham Nelson
|
b2cf29137d
|
Further progress towards calculus module
|
2020-08-21 22:38:20 +01:00 |
|
Graham Nelson
|
7d3f53cc61
|
Introduced binary predicate families
|
2020-08-20 11:50:43 +01:00 |
|
Graham Nelson
|
fb9d3d81f4
|
Completed Chapter 3 of kinds module
|
2020-08-17 22:57:45 +01:00 |
|
Graham Nelson
|
23041df765
|
Further work on kinds module and its testing
|
2020-08-09 18:39:31 +01:00 |
|
Graham Nelson
|
a77ae3b34b
|
Moved some Preform utilities back to words
|
2020-05-22 09:38:17 +01:00 |
|
Graham Nelson
|
1ed44539c3
|
Modernised problems module
|
2020-05-21 00:11:29 +01:00 |
|
Graham Nelson
|
0365086b1f
|
Reorganised services library
|
2020-05-20 00:02:28 +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
|
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
|
3349701c7e
|
Relocated words and syntax modules
|
2020-03-11 00:21:09 +00:00 |
|
Graham Nelson
|
5c8d078e4b
|
Completed redrafting of Standard Rules
|
2020-01-25 23:42:42 +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
|
d969e624cb
|
Incorporated GitHub pages
|
2019-03-17 12:40:57 +00:00 |
|