|
|
128aecfca0
|
Work on the propagation of half-reified constraint
|
2021-06-07 21:01:57 +10:00 |
|
|
|
835f425d48
|
Add separate dekker_preamble.pdf target that combines all guiding text
|
2021-06-07 18:03:05 +10:00 |
|
|
|
3559dea29b
|
More work on automatic analysis
|
2021-06-07 17:35:22 +10:00 |
|
|
|
2af1fe99a0
|
Work on the automatic HR analysis
|
2021-06-07 12:09:00 +10:00 |
|
|
|
3294400a15
|
More half-reification work and split on sentence
|
2021-05-28 11:44:25 +10:00 |
|
|
|
83c77ab568
|
Half Reification
|
2021-05-27 17:13:54 +10:00 |
|
|
|
fb565cf28c
|
Fix indentation using latexindent
|
2021-05-21 14:31:02 +10:00 |
|
|
|
0c5ede4581
|
Work on HR
|
2021-05-20 16:50:54 +10:00 |
|
|
|
2941ab6a32
|
Move current version of the HR chapter to a temporary appendix
|
2021-05-20 11:38:25 +10:00 |
|
|
|
c484fea52e
|
Update chapter numbers
|
2021-04-13 12:57:25 +10:00 |
|
