Account Edit History
|
Showing page 1 of 8
|
19301704 - Project 'Java Modeling Language (JML)': Changed tag_list to verification preconditions ... by Werner Dietl 30 Jul 2012 |
|
19301703 - Project 'Java Modeling Language (JML)': Changed tag_list to postconditions invariants d... by Werner Dietl 30 Jul 2012 |
|
19301702 - Project 'Java Modeling Language (JML)': Changed tag_list to preconditions java designby... by Werner Dietl 30 Jul 2012 |
|
19301701 - Project 'Java Modeling Language (JML)': Changed tag_list to invariants designbycontract... by Werner Dietl 30 Jul 2012 |
|
19301695 - Project 'Java Modeling Language (JML)': Changed tag_list to java designbycontract invar... by Werner Dietl 30 Jul 2012 |
|
19301693 - Project 'Java Modeling Language (JML)': Changed tag_list to designbycontract java by Werner Dietl 30 Jul 2012 |
|
19301692 - Project 'Java Modeling Language (JML)': Changed tag_list to designbycontract by Werner Dietl 30 Jul 2012 |
|
19087588 - Project 'Checker Framework': Changed name to Checker Framework by Werner Dietl 22 Jul 2012 |
|
19084957 - Project 'Java Modeling Language (JML)': Changed list of files to be ignored by Werner Dietl 22 Jul 2012 |
|
19084956 - Project 'Java Modeling Language (JML)': Enlisted in :pserver:anonymous:@jmlspecs.cvs.sourceforge.net:/cvsroot/jmlspecs web by Werner Dietl 22 Jul 2012 |
Copyright
©
2013
Black Duck Software, Inc.
and its contributors, Some Rights Reserved. Unless otherwise marked, this work is licensed under a
Creative Commons Attribution 3.0 Unported License
. Ohloh
®
and the Ohloh logo are trademarks of
Black Duck Software, Inc.
in the United States and/or other jurisdictions. All other trademarks are the property of their respective holders.