Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 28, 2019

• LuaTeX compatibility

  clange

  committed
  efa25b7

  Copy full SHA for efa25b7

Commits on May 31, 2016

• one quarter, one half, three quarters

  clange

  committed
  d14227f

  Copy full SHA for d14227f

Commits on Dec 18, 2015

• added DataProperty to OWL Manchester

  clange

  committed
  f4dc302

  Copy full SHA for f4dc302

Commits on Jan 29, 2014

• forget in DOL

  clange

  committed
  b29ebf9

  Copy full SHA for b29ebf9

Commits on Oct 26, 2013

• some code documentation

  clange

  committed
  07f540a

  Copy full SHA for 07f540a

• new symbols:

  Show description for 9d494a2
  clange

  committed
  9d494a2

  Copy full SHA for 9d494a2

Commits on Oct 25, 2013

• \neg

  clange

  committed
  615ed85

  Copy full SHA for 615ed85

• \le and \ge

  clange

  committed
  8987ca6

  Copy full SHA for 8987ca6

• \equiv

  clange

  committed
  4adeaf8

  Copy full SHA for 4adeaf8

Commits on Oct 8, 2013

• more symbols

  clange

  committed
  182df1b

  Copy full SHA for 182df1b

• more symbols

  clange

  committed
  2f639da

  Copy full SHA for 2f639da

• big union

  clange

  committed
  a2a35b2

  Copy full SHA for a2a35b2

Commits on Oct 7, 2013

• more math characters

  clange

  committed
  72e0ccb

  Copy full SHA for 72e0ccb

• mentioning unicode-chars.sty and lstsemantic.sty

  clange

  committed
  d4f9d8d

  Copy full SHA for d4f9d8d

• experimenting a bit more with Isabelle

  clange

  committed
  8da710b

  Copy full SHA for 8da710b

• using existing \ldotp

  clange

  committed
  7516666

  Copy full SHA for 7516666

Commits on Oct 6, 2013

• require package amsmath

  clange

  committed
  934a940

  Copy full SHA for 934a940

• left-align Isabelle listings

  clange

  committed
  44fef3e

  Copy full SHA for 44fef3e

Commits on Oct 3, 2013

• basic documentation

  clange

  committed
  cd46793

  Copy full SHA for cd46793

• adding project URL

  clange

  committed
  c0508e6

  Copy full SHA for c0508e6

• ignoring backups and Emacs auto/ directory

  clange

  committed
  4f404e5

  Copy full SHA for 4f404e5

• using LPPL

  clange

  committed
  d1a1998

  Copy full SHA for d1a1998

• adding existing files

  clange

  committed
  48e9cb9

  Copy full SHA for 48e9cb9

• Initial commit

  clange

  committed
  09cb523

  Copy full SHA for 09cb523