|
|
b064382477
|
Final changes to the acknowledgements
|
2021-11-09 09:42:50 +11:00 |
|
|
|
2afd9c8048
|
Small changes to glossary
|
2021-11-08 19:50:33 +11:00 |
|
|
|
2a17d4066a
|
Fix last errors spotted by Guido
|
2021-11-08 19:50:07 +11:00 |
|
|
|
bc443a3d4f
|
Another final few changes
|
2021-11-08 15:03:20 +11:00 |
|
|
|
f0d6cc40f6
|
Update acknowledgements
|
2021-11-08 14:23:43 +11:00 |
|
|
|
ab98b78b8a
|
Mark everything as ready in the README
|
2021-11-08 13:04:38 +11:00 |
|
|
|
b36d49292b
|
Fix some final formatting issues
|
2021-11-08 13:03:08 +11:00 |
|
|
|
6d4481b843
|
Attempt at remaining feedback
|
2021-11-05 16:49:10 +11:00 |
|
|
|
b22e75b0cf
|
Fix typos from examiner feedback
|
2021-10-25 10:57:42 +11:00 |
|
|
|
a5c8823b40
|
Pre submission changes to the acknowledgements
|
2021-10-25 10:57:08 +11:00 |
|
|
|
e4143f811a
|
Add initial acknowledgement section
|
2021-08-05 16:48:35 +10:00 |
|
|
|
81d94ed55e
|
Change general public abstract file format
|
2021-08-05 11:17:25 +10:00 |
|
|
|
b60e3c426b
|
Final changes
|
2021-07-29 22:20:07 +10:00 |
|
|
|
e6be2ca5af
|
Add acronyms to glossary entries
|
2021-07-29 19:29:08 +10:00 |
|
|
|
13432e7512
|
Add signature
|
2021-07-29 19:28:50 +10:00 |
|
|
|
4f614b1a6c
|
Before dinner editing
|
2021-07-29 19:00:31 +10:00 |
|
|
|
8f94781ac1
|
Edit draft for general public draft in meeting
|
2021-07-29 15:47:23 +10:00 |
|
|
|
c0740840eb
|
Add abstract draft for general public
|
2021-07-29 14:45:55 +10:00 |
|
|
|
b31cd335a0
|
More readable figures
|
2021-07-29 14:45:55 +10:00 |
|
|
|
31786c719d
|
Additional source code
|
2021-07-29 14:45:55 +10:00 |
|
|
|
e84fce6ac8
|
Morning editing
|
2021-07-29 14:45:28 +10:00 |
|
|
|
47dcc6e3bf
|
Fix reference naming
|
2021-07-29 10:19:21 +10:00 |
|
|
|
2efce9ef96
|
Guido's feedback on the summary sections
|
2021-07-29 10:07:02 +10:00 |
|
|
|
5a6b638567
|
Notes from guido
|
2021-07-29 09:41:19 +10:00 |
|
|
|
b962b84d19
|
Not so mighty now
|
2021-07-29 09:41:05 +10:00 |
|
|
|
a0b83a5934
|
Notes from Andreas
|
2021-07-29 09:37:13 +10:00 |
|
|
|
72662f0508
|
Tiny change
|
2021-07-28 17:49:23 +10:00 |
|
|
|
ce1740308d
|
Grammar check
|
2021-07-28 17:34:48 +10:00 |
|
|
|
d91d600e14
|
Add missing example to reification chapter
|
2021-07-28 17:26:18 +10:00 |
|
|
|
ef4fbc658c
|
Feedback from Julie
|
2021-07-28 17:14:36 +10:00 |
|
|
|
b510c3edea
|
Minor glossary fixes
|
2021-07-28 16:17:44 +10:00 |
|
|
|
affa257ac0
|
Final work on the incremental chapter
|
2021-07-28 15:55:06 +10:00 |
|
|
|
4562bb685d
|
Guido's abstract / intro notes
|
2021-07-28 13:53:53 +10:00 |
|
|
|
fe0234b009
|
A better try for the introduction connections
|
2021-07-28 13:33:24 +10:00 |
|
|
|
900c920057
|
Small corrections
|
2021-07-28 13:33:24 +10:00 |
|
|
|
1041eda4c7
|
Start at introduction transition
|
2021-07-28 13:33:18 +10:00 |
|
|
|
fb24a5dc25
|
Update glossary with SICStus
|
2021-07-28 10:25:05 +10:00 |
|
|
|
69819d629f
|
Work on the abstract
|
2021-07-27 23:38:39 +10:00 |
|
|
|
d828755167
|
Fix long line in intro example code
|
2021-07-27 22:29:02 +10:00 |
|
|
|
0b6ec37227
|
More fixes from Guido
|
2021-07-27 22:24:32 +10:00 |
|
|
|
a05ba139ae
|
Better transition between incremental methods
|
2021-07-27 20:52:41 +10:00 |
|
|
|
3389133fc9
|
Editing with Cait
|
2021-07-27 20:52:25 +10:00 |
|
|
|
a0b85fda42
|
Small grammar check
|
2021-07-27 18:07:29 +10:00 |
|
|
|
dfa29c41d0
|
Initial drafts of the summary sections
|
2021-07-27 17:57:05 +10:00 |
|
|
|
edf81a9b77
|
Add nicer box for line numbered listings
|
2021-07-27 14:49:26 +10:00 |
|
|
|
3f5b093944
|
Remove mention of flattener
|
2021-07-27 14:47:42 +10:00 |
|
|
|
91d264597c
|
Remaining questions after Guido's notes
|
2021-07-27 12:57:37 +10:00 |
|
|
|
b63274965f
|
Incorporate Guido's Feedback on Incremental Constraint Modelling
|
2021-07-26 20:51:03 +10:00 |
|
|
|
c3c54f5c5a
|
Small changes
|
2021-07-26 18:08:32 +10:00 |
|
|
|
47265d441d
|
A global grammar check
|
2021-07-26 15:38:10 +10:00 |
|
