Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 23, 2014

• add README.md with build status

  jameshfisher

  committed
  05cc8d1

  Copy full SHA for 05cc8d1

• Maven 3.2 on Travis causes build error https://github.com/travis-ci/travis-ci/issues/2677

  jameshfisher

  committed
  e0c81a0

  Copy full SHA for e0c81a0

• Add a travis.yml

  jameshfisher

  committed
  4576aba

  Copy full SHA for 4576aba

• End of day checkin.

  

  lamport

  committed
  3488595

  Copy full SHA for 3488595

Commits on Nov 16, 2014

• End of day checkin.

  

  lamport

  committed
  fd22d80

  Copy full SHA for fd22d80

Commits on Nov 15, 2014

• Minor changes to NewDecomposeProofHandler. Eclipse thinks that I edited

  Show description for 7e96c4f
  

  lamport

  committed
  7e96c4f

  Copy full SHA for 7e96c4f

Commits on Nov 11, 2014

• Check launch configuration if it has the distribution attribute prior to

  Show description for b77eeed
  lemmy

  committed
  b77eeed

  Copy full SHA for b77eeed

• End of day checkin. Just comment changes to ResourceHelper.

  

  lamport

  committed
  d0477b3

  Copy full SHA for d0477b3

Commits on Oct 30, 2014

• End of day checkin.

  

  lamport

  committed
  37d8ba0

  Copy full SHA for 37d8ba0

Commits on Oct 29, 2014

• End of day checkin

  

  lamport

  committed
  4345fd7

  Copy full SHA for 4345fd7

Commits on Oct 28, 2014

• End of day checkin.

  

  lamport

  committed
  aefe3e5

  Copy full SHA for aefe3e5

Commits on Oct 27, 2014

• End of day commit.

  

  lamport

  committed
  b6028c3

  Copy full SHA for b6028c3

• Version before adding code to handle expansion of imported definitions.

  

  lamport

  committed
  a0d466d

  Copy full SHA for a0d466d

Commits on Oct 26, 2014

• End of short day checkin.

  

  lamport

  committed
  6609ffb

  Copy full SHA for 6609ffb

Commits on Oct 25, 2014

• End of day checkin.

  

  lamport

  committed
  1968c70

  Copy full SHA for 1968c70

Commits on Oct 24, 2014

• End of day commit.

  

  lamport

  committed
  021e5fb

  Copy full SHA for 021e5fb

Commits on Oct 23, 2014

• End of day checkin.

  

  lamport

  committed
  6a0500b

  Copy full SHA for 6a0500b

Commits on Oct 22, 2014

• End of day checkin.

  

  lamport

  committed
  c915389

  Copy full SHA for c915389

Commits on Oct 21, 2014

• End of day checkin.

  

  lamport

  committed
  539362d

  Copy full SHA for 539362d

• Yesterday's end of day checkin.

  

  lamport

  committed
  01b94f4

  Copy full SHA for 01b94f4

Commits on Oct 16, 2014

• End of day checkin.

  

  lamport

  committed
  80643a5

  Copy full SHA for 80643a5

Commits on Oct 15, 2014

• End of day checkin.

  

  lamport

  committed
  9ef50e0

  Copy full SHA for 9ef50e0

Commits on Oct 14, 2014

• Yesterday's end-of-day commit.

  

  lamport

  committed
  1128cdb

  Copy full SHA for 1128cdb

Commits on Oct 6, 2014

• End of day commit.

  

  lamport

  committed
  74ed074

  Copy full SHA for 74ed074

Commits on Oct 1, 2014

• Dnd of day checkin.

  

  lamport

  committed
  f86dae8

  Copy full SHA for f86dae8

Commits on Sep 2, 2014

• Beginning of trip check-in.

  

  lamport

  committed
  fde89f9

  Copy full SHA for fde89f9

Commits on Aug 30, 2014

• End of day check-in.

  

  lamport

  committed
  513d457

  Copy full SHA for 513d457

Commits on Aug 28, 2014

• End of day check-in.

  

  lamport

  committed
  80b09b1

  Copy full SHA for 80b09b1

Commits on Aug 27, 2014

• End of day check-in.

  

  lamport

  committed
  2893a71

  Copy full SHA for 2893a71

• End of day check-in.

  

  lamport

  committed
  138316c

  Copy full SHA for 138316c

Commits on Aug 24, 2014

• In NewDecomposeProof, removed dead-end /\ decompositions and fixed a

  Show description for e38a02e
  

  lamport

  committed
  e38a02e

  Copy full SHA for e38a02e

Commits on Aug 23, 2014

• Minor comment correction.

  

  lamport

  committed
  a9855a6

  Copy full SHA for a9855a6

• New DecomposeProof command (control+u) now has a "back" button.

  

  lamport

  committed
  fd41e41

  Copy full SHA for fd41e41

Commits on Aug 21, 2014

• Revert "adding xml exporting"

  Show description for 233930c
  shaolintl

  committed
  233930c

  Copy full SHA for 233930c

• Revert "missing files from previous commit"

  Show description for 93e7c95
  shaolintl

  committed
  93e7c95

  Copy full SHA for 93e7c95

Pagination

Previous

Next