Commits

Branch selector

master

User selector

All users

All time

Commit history

Commits on Jun 24, 2015

• Update build status icon

  Show description for cf088c4
  j-baker

  committed
  cf088c4View commit details

  Copy full SHA for cf088c4

  Browse repository at this point

• Install texlive-full

  Show description for 99cc4b9
  j-baker

  committed
  99cc4b9View commit details

  Copy full SHA for 99cc4b9

  Browse repository at this point

• Remove garbage

  Show description for f69d4a7
  j-baker

  committed
  f69d4a7View commit details

  Copy full SHA for f69d4a7

  Browse repository at this point

• Don't use lmodern

  Show description for 2f4584f
  j-baker

  committed
  2f4584fView commit details

  Copy full SHA for 2f4584f

  Browse repository at this point

• Transient check for caching purposes

  j-baker

  committed
  04597b1View commit details

  Copy full SHA for 04597b1

  Browse repository at this point

• Fix fonts for travis docker infrastructure

  j-baker

  committed
  688fc82View commit details

  Copy full SHA for 688fc82

  Browse repository at this point

• Still build poly

  Show description for 08cb25d
  j-baker

  committed
  08cb25dView commit details

  Copy full SHA for 08cb25d

  Browse repository at this point

Commits on Jun 23, 2015

• Add the lmodern font

  j-baker

  committed
  d810110View commit details

  Copy full SHA for d810110

  Browse repository at this point

• Remove an unused theorem that was causing problems on Travis

  j-baker

  committed
  08e2eb3View commit details

  Copy full SHA for 08e2eb3

  Browse repository at this point

• Hopefully reduced time to load latex

  j-baker

  committed
  fcdcfd8View commit details

  Copy full SHA for fcdcfd8

  Browse repository at this point

• Install PolyML headers

  j-baker

  committed
  68d76fcView commit details

  Copy full SHA for 68d76fc

  Browse repository at this point

• Updated the readme to include the project name

  j-baker

  committed
  8d90cd8View commit details

  Copy full SHA for 8d90cd8

  Browse repository at this point

• Added installation instructions

  j-baker

  committed
  a3b053aView commit details

  Copy full SHA for a3b053a

  Browse repository at this point

• Don't exclude figures from git

  j-baker

  committed
  dd23ae0View commit details

  Copy full SHA for dd23ae0

  Browse repository at this point

• Don't use development polyml

  j-baker

  committed
  5a2ff91View commit details

  Copy full SHA for 5a2ff91

  Browse repository at this point

• Want TexLive full

  Show description for b6e3c90
  j-baker

  committed
  b6e3c90View commit details

  Copy full SHA for b6e3c90

  Browse repository at this point

• latexmk must be installed every time.

  j-baker

  committed
  f5a5eccView commit details

  Copy full SHA for f5a5ecc

  Browse repository at this point

• Install own version of latexmk

  Show description for c4bb039
  j-baker

  committed
  c4bb039View commit details

  Copy full SHA for c4bb039

  Browse repository at this point

• Don't suppress warnings while linking

  Show description for 4da41bc
  j-baker

  committed
  4da41bcView commit details

  Copy full SHA for 4da41bc

  Browse repository at this point

• Dev version of HOL changed type of syntax_fns

  Show description for adddb1a
  j-baker

  committed
  adddb1aView commit details

  Copy full SHA for adddb1a

  Browse repository at this point

• Updated README.

  j-baker

  committed
  f069e4aView commit details

  Copy full SHA for f069e4a

  Browse repository at this point

• Install polyml

  j-baker

  committed
  4857ab8View commit details

  Copy full SHA for 4857ab8

  Browse repository at this point

• Don't use docker for travis

  Show description for 3a1bbcc
  j-baker

  committed
  3a1bbccView commit details

  Copy full SHA for 3a1bbcc

  Browse repository at this point

• Fixed licenses

  j-baker

  committed
  717ffaaView commit details

  Copy full SHA for 717ffaa

  Browse repository at this point

• Limit memory in use by make

  j-baker

  committed
  dbf8725View commit details

  Copy full SHA for dbf8725

  Browse repository at this point

• Holmake is capitalised

  j-baker

  committed
  5f0d211View commit details

  Copy full SHA for 5f0d211

  Browse repository at this point

• Check for hol not poly

  Show description for 69d450d
  j-baker

  committed
  69d450dView commit details

  Copy full SHA for 69d450d

  Browse repository at this point

• Don't build poly

  Show description for e1222ee
  j-baker

  committed
  e1222eeView commit details

  Copy full SHA for e1222ee

  Browse repository at this point

• Install latexmk travis

  j-baker

  committed
  7e1aa22View commit details

  Copy full SHA for 7e1aa22

  Browse repository at this point

• Don't use the travis build script

  j-baker

  committed
  ac8001eView commit details

  Copy full SHA for ac8001e

  Browse repository at this point

Commits on Jun 22, 2015

• Added dissertation

  Show description for e7b1b58
  j-baker

  committed
  e7b1b58View commit details

  Copy full SHA for e7b1b58

  Browse repository at this point

Commits on Jun 21, 2015

• Move compiler into nested folder in order to allow for dissertation to be included

  Show description for a104710
  j-baker

  committed
  a104710View commit details

  Copy full SHA for a104710

  Browse repository at this point

• Install Poly with apt

  Show description for 2ba9c8d
  j-baker

  committed
  2ba9c8dView commit details

  Copy full SHA for 2ba9c8d

  Browse repository at this point

• Added code samples

  Show description for b2412e8
  j-baker

  committed
  b2412e8View commit details

  Copy full SHA for b2412e8

  Browse repository at this point

Commits on May 12, 2015

• Merge branch 'release/1.1'

  Show description for 77c6cb9
  j-baker

  committed
  77c6cb9View commit details

  Copy full SHA for 77c6cb9

  Browse repository at this point