 Simon Brooke
|
38a4610f0e
|
Actually added the documentation to the repository. D'oh!
|
2020-05-01 12:10:12 +01:00 |
|
|
Simon Brooke
|
12a2eb71c8
|
Started work on background documentation.
|
2020-05-01 12:05:20 +01:00 |
|
|
Simon Brooke
|
a8d87e431d
|
Added documentation to archive.
|
2020-05-01 10:48:22 +01:00 |
|
|
Simon Brooke
|
0c47c21feb
|
Changed license to strictly GPL only.
|
2020-05-01 10:31:01 +01:00 |
|
|
Simon Brooke
|
479c186c46
|
Now parsing propositions well, working on refinements.
|
2020-04-30 11:24:28 +01:00 |
|
|
Simon Brooke
|
2e1855eaf5
|
Trying to get towards the point of resolving references
|
2020-04-28 14:07:51 +01:00 |
|
|
Simon Brooke
|
f98fac03a9
|
This more or less works - still fine tuning to do.
|
2020-04-28 13:37:27 +01:00 |
|
|
Simon Brooke
|
fb00ec31a0
|
with a brake that I make with a string kind of thing...
It's a good kind of brake but it doesn't work yet.
|
2020-04-27 23:23:50 +01:00 |
|
|
Simon Brooke
|
d924ef17c6
|
Trying to get this working... harder than it should be!
|
2020-04-27 09:40:58 +01:00 |
|