Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 9, 2016

• copyright

  cos

  committed
  f73555d

  Copy full SHA for f73555d

Commits on Aug 20, 2015

• update documentation in preparation for K 3.6 release

  

  Dwight Guth

  committed
  4e1d21e

  Copy full SHA for 4e1d21e

Commits on Jan 22, 2015

• fix copyright... ugh...

  cos

  committed
  1016661

  Copy full SHA for 1016661

Commits on Dec 15, 2014

• remove all references to maude backend and make java the default

  

  Dwight Guth

  committed
  bd4b5d7

  Copy full SHA for bd4b5d7

Commits on Aug 27, 2014

• Merge branch 'master' into unified-builtins2

  

  Dwight Guth

  committed
  7d1b54f

  Copy full SHA for 7d1b54f

Commits on Aug 5, 2014

• fix copyright

  

  Dwight Guth

  committed
  2e274d1

  Copy full SHA for 2e274d1

• update documentation for K 3.4 release

  

  Dwight Guth

  committed
  9820cf1

  Copy full SHA for 9820cf1

Loading