Commits

History for

Commits on Dec 15, 2014

Finally update license information and readme.

aplatzer
authored and
smitsch
committedDec 15, 2014

Commits on Mar 17, 2009

Adapted version strings and some forgotten copyright dates
Richard Bubel
committedMar 17, 2009

Commits on Oct 20, 2007

updated a few strings

Benjamin Weiss
authored and
Benjamin Weiss
committedOct 20, 2007

Commits on Sep 25, 2007

Switch to git. Initial version of KeY based on and identical to version 0.2655 of the orginal KeY repository
KeY Team
committedSep 25, 2007

Loading