Open Hub
Open Hub

 Settings |  Report Duplicate

0
I Use This!
Inactive

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 2 hours ago.
Jul 24, 2024 — Jul 24, 2025
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
projectUsing bug
gbeaver
More... over 22 years ago
projectUsing test
gbeaver
More... over 22 years ago
formatting
gbeaver
More... almost 23 years ago
*** empty log message ***
gbeaver
More... almost 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
license cleanup
gbeaver
More... about 23 years ago
references to "proxy" replaced by "prover"
gbeaver
More... about 23 years ago
provers ==> prover
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
provers ==> prover
gbeaver
More... about 23 years ago
package cleanup
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
prover package added
gbeaver
More... about 23 years ago
package name change .provers. ==> .prover.
gbeaver
More... about 23 years ago
copyright changes 1996-1999 ==> 1996-2002
gbeaver
More... about 23 years ago
copyright change 1996-2000 ==> 1996-2002
gbeaver
More... about 23 years ago
copyright 1996-2000 ==> 1996-2002
gbeaver
More... about 23 years ago
added getRuleUsingArgType static variable where apprpriate
gbeaver
More... about 23 years ago
RuleProxy ==> Prover
gbeaver
More... about 23 years ago
JIndent comment removal
gbeaver
More... about 23 years ago
*** empty log message ***
gbeaver
More... about 23 years ago
.DS_Store removal
gbeaver
More... about 23 years ago
import core
gbeaver
More... about 23 years ago
Initial revision
gbeaver
More... about 23 years ago