Commits

Breadcrumbs

History for

onpot1

User selector

All users

All time

Commit History

Commits on Nov 6, 2013

• update rules with unions

  namin

  committed
  2517afe

  Copy full SHA for 2517afe

• back to nominal system

  namin

  committed
  af00c2f

  Copy full SHA for af00c2f

Commits on Nov 2, 2013

• latex tweaks

  namin

  committed
  1bf7a69

  Copy full SHA for 1bf7a69

Commits on Nov 1, 2013

• update tex according to latest

  namin

  committed
  ae2f3eb

  Copy full SHA for ae2f3eb

Commits on Oct 26, 2013

• typo

  namin

  committed
  4f59438

  Copy full SHA for 4f59438

• update to nominal calculus, fully proven type safe

  namin

  committed
  21b28a3

  Copy full SHA for 21b28a3

Commits on Oct 19, 2013

• small latex tweaks

  TiarkRompf

  committed
  2df21ba

  Copy full SHA for 2df21ba

• small latex tweaks

  TiarkRompf

  committed
  961abe4

  Copy full SHA for 961abe4

Commits on Oct 18, 2013

• toptand

  namin

  committed
  89823bb

  Copy full SHA for 89823bb

• membership

  namin

  committed
  c296f5a

  Copy full SHA for c296f5a

• added typesetting for exp-tp

  namin

  committed
  d404e26

  Copy full SHA for d404e26

Commits on Oct 17, 2013

• some tweaks to custom syntax

  namin

  committed
  1f8f751

  Copy full SHA for 1f8f751

• org

  namin

  committed
  fecb4ac

  Copy full SHA for fecb4ac

• minidot.tex only a stub

  namin

  committed
  b7343e4

  Copy full SHA for b7343e4

Commits on Oct 16, 2013

• do not use path-eta for now, b/c it makes rule printout noisy

  namin

  committed
  8e78a58

  Copy full SHA for 8e78a58

• renaming for clarity

  namin

  committed
  253b448

  Copy full SHA for 253b448

• fixed issues with custom dot rules

  namin

  committed
  f4c4143

  Copy full SHA for f4c4143

• generate rules for proofs, too

  namin

  committed
  6ce6644

  Copy full SHA for 6ce6644

• a few more important judgments

  namin

  committed
  15a3db5

  Copy full SHA for 15a3db5

• tweaks

  namin

  committed
  f712a14

  Copy full SHA for f712a14

• Merge branch 'master' of github.com:TiarkRompf/minidot

  namin

  committed
  2e816d0

  Copy full SHA for 2e816d0

• minidot.tex init

  namin

  committed
  08b0e8c

  Copy full SHA for 08b0e8c

• done with first pass at more flexible twelf2tex script refactoring

  namin

  committed
  5aeac5c

  Copy full SHA for 5aeac5c

• path-eval extra arg

  namin

  committed
  15a5456

  Copy full SHA for 15a5456

Commits on Oct 9, 2013

• Merge branch 'master' into wip-reg

  namin

  committed
  40116e8

  Copy full SHA for 40116e8

• more command typesetting

  namin

  committed
  3519b6e

  Copy full SHA for 3519b6e

• Merge branch 'master' into wip-reg

  namin

  committed
  1c959a8

  Copy full SHA for 1c959a8

• minor tex

  namin

  committed
  3b5cad6

  Copy full SHA for 3b5cad6

• minor update to tex for this version

  namin

  committed
  45c5837

  Copy full SHA for 45c5837

Commits on Oct 8, 2013

• arrow should be rendered as def

  namin

  committed
  fb769a0

  Copy full SHA for fb769a0

Commits on Oct 7, 2013

• add required .sty files

  namin

  committed
  e3a69ac

  Copy full SHA for e3a69ac

• fill up dot_custom.tex

  namin

  committed
  e9762b4

  Copy full SHA for e9762b4

• started dot_custom.tex to customize output of twelf2tex by redefining typesetting of relations

  namin

  committed
  14be9af

  Copy full SHA for 14be9af

Loading