Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 14, 2017

• readme

  

  Ioana

  committed
  bc2c3e7

  Copy full SHA for bc2c3e7

Commits on Jun 13, 2017

• rename folder

  

  Ioana

  committed
  92e47ad

  Copy full SHA for 92e47ad

• add to example

  

  Ioana

  committed
  7d0d04e

  Copy full SHA for 7d0d04e

• debug example

  

  Ioana

  committed
  6e2bb5e

  Copy full SHA for 6e2bb5e

Commits on Jun 5, 2017

• another test

  

  Ioana

  committed
  deedf7f

  Copy full SHA for deedf7f

Commits on Apr 28, 2017

• concretisation

  

  Ioana

  committed
  2ea2fc4

  Copy full SHA for 2ea2fc4

Commits on Mar 20, 2017

• up to matchings

  

  Ioana

  committed
  acaa054

  Copy full SHA for acaa054

Commits on Mar 16, 2017

• using replay...

  

  Ioana

  committed
  9d1ac81

  Copy full SHA for 9d1ac81

Commits on Mar 15, 2017

• new files

  

  Ioana

  committed
  f27adf6

  Copy full SHA for f27adf6

• start using the replay

  

  Ioana

  committed
  7796f22

  Copy full SHA for 7796f22

Commits on Mar 9, 2017

• coding

  

  Ioana

  committed
  10bcbcc

  Copy full SHA for 10bcbcc

Commits on Mar 8, 2017

• today

  

  Ioana

  committed
  61dbfac

  Copy full SHA for 61dbfac

Commits on Mar 7, 2017

• working day

  

  Ioana

  committed
  949132b

  Copy full SHA for 949132b

Commits on Mar 5, 2017

• quarks in rules

  

  Ioana

  committed
  fceefa7

  Copy full SHA for fceefa7

Commits on Mar 3, 2017

• code

  

  Ioana

  committed
  0774db4

  Copy full SHA for 0774db4

Commits on Mar 2, 2017

• new files

  

  Ioana

  committed
  5e3c789

  Copy full SHA for 5e3c789

• parse rules

  

  Ioana

  committed
  e106f06

  Copy full SHA for e106f06

Commits on Mar 1, 2017

• proof inhib

  

  Ioana

  committed
  1ca935d

  Copy full SHA for 1ca935d

• nana

  

  Ioana

  committed
  4108419

  Copy full SHA for 4108419

Commits on Feb 28, 2017

• backup on site graphs

  

  Ioana

  committed
  0337b4f

  Copy full SHA for 0337b4f

• site graphs

  

  Ioana

  committed
  f08e8b8

  Copy full SHA for f08e8b8

Commits on Feb 27, 2017

• mua

  

  Ioana

  committed
  510f157

  Copy full SHA for 510f157

Commits on Feb 26, 2017

• concretise

  

  Ioana

  committed
  b82dff0

  Copy full SHA for b82dff0

Commits on Feb 25, 2017

• concretisation

  

  Ioana

  committed
  ef16f11

  Copy full SHA for ef16f11

Commits on Feb 23, 2017

• new version

  

  Ioana

  committed
  3e70c6f

  Copy full SHA for 3e70c6f

• new version

  

  Ioana

  committed
  bcf7232

  Copy full SHA for bcf7232

Commits on Feb 20, 2017

• alt version

  

  Ioana

  committed
  705f6f7

  Copy full SHA for 705f6f7

Commits on Feb 10, 2017

• new

  

  Ioana

  committed
  93ebcf0

  Copy full SHA for 93ebcf0

Commits on Feb 3, 2017

• advancement

  

  Ioana

  committed
  177456a

  Copy full SHA for 177456a

Commits on Feb 1, 2017

• decoration part 1

  

  Ioana

  committed
  0995303

  Copy full SHA for 0995303

Commits on Jan 30, 2017

• transitions

  

  Ioana

  committed
  55ec235

  Copy full SHA for 55ec235

Commits on Jan 20, 2017

• notes

  

  Ioana

  committed
  67fa358

  Copy full SHA for 67fa358

Commits on Jan 18, 2017

• notes

  

  Ioana

  committed
  0e62531

  Copy full SHA for 0e62531

Commits on Dec 23, 2016

• notes

  

  Ioana

  committed
  6d18301

  Copy full SHA for 6d18301

Commits on Dec 10, 2016

• proofs

  

  Ioana

  committed
  785228c

  Copy full SHA for 785228c

Pagination

Previous

Next