22 Commits

Author SHA1 Message Date
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
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
4f614b1a6c
Before dinner editing 2021-07-29 19:00:31 +10:00
a0b83a5934
Notes from Andreas 2021-07-29 09:37:13 +10:00
d828755167
Fix long line in intro example code 2021-07-27 22:29:02 +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
77722f0f87
Fix the pareto front predicate 2021-07-26 12:04:35 +10:00
e3a864effe
Incorporate Guido's feedback on Half-Reification 2021-07-24 22:17:56 +10:00
a6be2980b7
Add initial section on Essence compilation 2021-07-23 21:58:39 +10:00
7a7069dcc4
Fix TSP model 2021-07-23 16:15:43 +10:00
c399924c89
Incorporate most of Guido's feedback on Background 2021-07-22 21:57:28 +10:00
da2158ab87
Fix references 2021-07-21 14:27:06 +10:00
147e691063
Use of floating listings in rewriting chapter 2021-07-20 21:23:31 +10:00
c4e8296e74
Work on the reification chapter
- Comments by Peter
- Additional reference
- Listings
2021-07-20 18:40:23 +10:00
4ff0e5c7b5
Description for complete 2021-07-20 15:18:33 +10:00
81a5efb646
Work on the incremental chapter 2021-07-19 16:48:03 +10:00
5bfe2af4e0
Notes by Guido 2021-07-14 20:42:24 +10:00
d2e08fd612
CML flow figure and more details when comparing languages 2021-07-13 18:51:37 +10:00