Commits

Breadcrumbs

History for

ondapphub

User selector

All users

All time

Commit History

Commits on May 11, 2017

• delete a ton of dead code

  

  Dwight Guth

  authored and

  bmmoore

  committed
  2d51a85

  Copy full SHA for 2d51a85

Commits on Nov 17, 2016

• delete a bunch of stuff (#295)

  Show description for 2f2e734
  

  dwightguth

  authored
  2f2e734

  Copy full SHA for 2f2e734

Commits on Jan 7, 2016

• update copyright on all *.java

  Show description for 0b7d71a
  

  Dwight Guth

  committed
  0b7d71a

  Copy full SHA for 0b7d71a

Commits on Nov 4, 2015

• modified files and renames

  Show description for 33c95a3
  

  Dwight Guth

  committed
  33c95a3

  Copy full SHA for 33c95a3

Commits on Jan 2, 2015

• update copyright for 2015 + update copyright on often-modified files

  Show description for 978c82c
  

  Dwight Guth

  committed
  978c82c

  Copy full SHA for 978c82c

Commits on Dec 15, 2014

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

  Show description for 0b1e5cd
  

  Dwight Guth

  committed
  0b1e5cd

  Copy full SHA for 0b1e5cd

Commits on Oct 29, 2014

• rename k-core to kernel

  Show description for 6ff0301
  cos

  committed
  6ff0301

  Copy full SHA for 6ff0301

Loading