← Back to branch summary

~ohad-kammar/ohads-thesis/trunk

From Revision 438 to 419

expand all expand all

Rev   Summary Authors Tags Date Diff Files
438
final version
Ohad Kammar printed version 10 years ago Diff Files
437
last changes before final proofreading
Ohad Kammar 10 years ago Diff Files
436
finished thesis
Ohad Kammar 10 years ago Diff Files
435
uniformized bibliography, but only half-way through (up to g...
Ohad Kammar 10 years ago Diff Files
434
proofread the conclusion chapter.
Ohad Kammar 10 years ago Diff Files
433
proofread the use case chapter.
Ohad Kammar 10 years ago Diff Files
432
proofread the combination chapter.
Ohad Kammar 10 years ago Diff Files
431
tweaked the optimisation table to fit better on the page, ma...
Ohad Kammar 10 years ago Diff Files
430
removed appendices, changed format of example numbering.
Ohad Kammar 10 years ago Diff Files
429
proofread the optimisations chapter.
Ohad Kammar 10 years ago Diff Files
428
proofread the language chapter.
Ohad Kammar 10 years ago Diff Files
427
proofread the logical relations chapter
Ohad Kammar 10 years ago Diff Files
426
proofread the presentation chapter.
Ohad Kammar 10 years ago Diff Files
425
proofreaed the algebraic model chpter.
Ohad Kammar 10 years ago Diff Files
424
proofread the lawvere theories chapter.
Ohad Kammar 10 years ago Diff Files
423
proofread the locally presentabl categories chapter.
Ohad Kammar 10 years ago Diff Files
422
proofread the recursion chapter.
Ohad Kammar 10 years ago Diff Files
421
minor tweaks to acknowledgements, fixed some grammar in intr...
Ohad Kammar 10 years ago Diff Files
420
merged final revisions (not all though)
Ohad Kammar 10 years ago Diff Files
419
updated acknowldgement section.
Ohad Kammar 10 years ago Diff Files