Commit Graph

Select branches

Hide Pull Requests

develop

Mono Color

• d0871d7451
  Update to tree-sitter lexer for pygments Jip J. Dekker 2021-03-03 15:06:34 +11:00
• a77444b5d2
  Add half-reification text Jip J. Dekker 2021-03-03 15:05:41 +11:00
• 3c168f3e12
  Number pdf contents Jip J. Dekker 2021-03-03 09:23:16 +11:00
• 0be42e0a02
  Add initial import of machine model paper Jip J. Dekker 2021-03-02 17:25:54 +11:00
• 2a16d5c2ba
  Switch project to use minted Jip J. Dekker 2021-03-02 13:39:42 +11:00
• 9e58fbfaab
  Append description of Lex and Pareto Jip J. Dekker 2021-02-25 14:29:20 +11:00
• a04e3bee7e
  More work on the incremental chapter Jip J. Dekker 2021-02-24 17:09:07 +11:00
• ae8be07972
  Work on incremental chapter Jip J. Dekker 2021-02-24 13:08:23 +11:00
• 0bb8c4da8d
  Add table of contents possibilities Jip J. Dekker 2021-02-22 16:17:03 +11:00
• ab6adde55c
  Some work on the incremental chapter Jip J. Dekker 2021-02-22 15:37:13 +11:00
• 9475102e5a
  Reorganise incremetal chapter and add other experiments Jip J. Dekker 2021-02-11 14:43:11 +11:00
• 6289555fa7
  Update syntax highlighting for MiniZinc fragments Jip J. Dekker 2021-02-10 15:30:19 +11:00
• 6a5fe8d077
  Add initial incremental section from Abstract Machine paper Jip J. Dekker 2021-02-10 13:58:42 +11:00
• c48148ffaf
  Initial import from LNS paper Jip J. Dekker 2021-02-09 14:10:12 +11:00
• e29db0e8fc
  Fix small font error Jip J. Dekker 2021-02-09 14:09:43 +11:00
• 33072b7758
  Keep generation commands in Makefile Jip J. Dekker 2021-02-09 14:08:57 +11:00
• 04a0f91ef9
  Change publications to singular Jip J. Dekker 2021-02-04 15:36:25 +11:00
• b6e4b755f5
  Edit log output format to ensure that git ignores them Jip J. Dekker 2021-02-04 15:35:58 +11:00
• 16d40592f6
  Add pyproject.toml for black settings Jip J. Dekker 2021-02-04 15:35:22 +11:00
• 56b891ccc9
  Add partial draft for background chapter Jip J. Dekker 2021-02-04 15:35:06 +11:00
• a15e017665
  Update mzn-lns bibliography entry Jip J. Dekker 2021-02-04 15:29:06 +11:00
• 29739c95ba
  Update latexmkrc to correctly generate glossaries and pygments Jip J. Dekker 2021-02-04 15:28:07 +11:00
• 939089480e Add fonts for headings and main text Jip J. Dekker 2021-01-19 10:58:22 +11:00
• fe7e20e9b7 Adjust citation style Jip J. Dekker 2021-01-19 10:57:55 +11:00
• b81b0e9777 Change size of the document to common book size Jip J. Dekker 2021-01-19 13:22:32 +11:00
• 1117e82390 Format chapter titles Jip J. Dekker 2021-01-06 16:47:53 +11:00
• 3735ea451c Add initial generation of typeset code files Jip J. Dekker 2021-01-06 16:47:38 +11:00
• 20a82a7159 Set GF Neohellenic as Math font Jip J. Dekker 2021-01-04 13:51:53 +11:00
• e1a24783f1 Update gitignore Jip J. Dekker 2021-01-04 12:50:02 +11:00
• 1ca5272b1f Add Victor Mono as the monospace font Jip J. Dekker 2021-01-04 12:47:57 +11:00
• 8a747b41fd Add package to manage glossary and acronyms Jip J. Dekker 2020-12-30 11:23:45 +11:00
• c72868f78b Add a latex thesis structure Jip J. Dekker 2020-12-30 10:45:48 +11:00
• b420985573
  Initial commit Jip J. Dekker 2020-12-02 10:35:41 +11:00