| .. |
|
arch-module
|
Migrated to clang 11
|
2020-06-27 23:18:54 +01:00 |
|
arch-test
|
Consequence of refactoring Foundation::start
|
2020-07-05 15:33:25 +01:00 |
|
calculus-module
|
Started in on compiling propositions
|
2021-04-09 10:09:44 +01:00 |
|
calculus-test
|
Tidying up calculus module
|
2020-09-02 23:24:10 +01:00 |
|
html-module
|
Changeover to new Preform notation 2
|
2020-07-28 10:43:16 +01:00 |
|
inflections-module
|
Reorganised synoptic creation and removed metadata construct from Inter
|
2021-04-25 13:23:45 +01:00 |
|
inflections-test
|
Consequence of refactoring Foundation::start
|
2020-07-05 15:33:25 +01:00 |
|
kinds-module
|
Queued rule and GPR compilation, fixing a timing problem
|
2021-04-26 23:31:08 +01:00 |
|
kinds-test
|
Revised Neptune language
|
2020-08-19 18:32:30 +01:00 |
|
lexicon-module
|
Improved list literals
|
2021-04-21 10:36:22 +01:00 |
|
linguistics-module
|
Modernised banner and fundamental constants
|
2021-04-19 09:17:32 +01:00 |
|
linguistics-test
|
Better logging of parse tree, part I
|
2020-08-06 22:01:38 +01:00 |
|
problems-module
|
Better logging of parse tree, part I
|
2020-08-06 22:01:38 +01:00 |
|
problems-test
|
Changeover to new Preform notation 1
|
2020-07-28 09:57:58 +01:00 |
|
syntax-module
|
Tentative work on imperative nodes
|
2021-03-24 00:20:56 +00:00 |
|
syntax-test
|
Better logging of parse tree, part I
|
2020-08-06 22:01:38 +01:00 |
|
words-module
|
Further work on kinds module and its testing
|
2020-08-09 18:39:31 +01:00 |
|
words-test
|
Changeover to new Preform notation 3
|
2020-07-28 12:29:51 +01:00 |
