
CVS log for sat4j/pb/.classpath |
 |
|
Up to [OW2-CVS] / sat4j / pb
Request diff between arbitrary revisions
/ Display revisions graphically
Default branch: MAIN
Bookmark a link to:
HEAD
/
(download)
Revision
1.5
/
(view)
- annotate
- [select for diffs]
, Wed Jan 2 08:09:48 2008 UTC (7 months, 4 weeks ago) by leberre
Branch:
MAIN
CVS Tags:
RELEASE_2_0_RC2,
PASCAL_SNAPSHOT_TWO,
INTEGRATION_P2,
HEAD,
BEFORE_EPL_HEADERS
Changes since 1.4: +1 -4 lines
Diff to previous 1.4
created as an OSGi plugin.
Revision
1.4
/
(view)
- annotate
- [select for diffs]
, Sat Nov 17 17:48:15 2007 UTC (9 months, 1 week ago) by leberre
Branch:
MAIN
CVS Tags:
STABLE_VERSION,
RELEASE_2_0_RC_1
Changes since 1.3: +0 -1 lines
Diff to previous 1.3
Removed code related to MAXSAT.
Revision
1.3
/
(view)
- annotate
- [select for diffs]
, Sat Nov 17 09:53:12 2007 UTC (9 months, 1 week ago) by leberre
Branch:
MAIN
Changes since 1.2: +3 -5 lines
Diff to previous 1.2
Changed the organization of the code to remove jakarta commons dependencies to core module. SAT4J-PB now has the dependency to JMock and commons-cli.
Revision
1.2
/
(view)
- annotate
- [select for diffs]
, Tue Oct 2 12:08:44 2007 UTC (10 months, 4 weeks ago) by parrain
Branch:
MAIN
Changes since 1.1: +6 -2 lines
Diff to previous 1.1
instanciation of learned constraints improved.
Revision
1.1
/
(view)
- annotate
- [select for diffs]
, Thu Sep 13 08:35:38 2007 UTC (11 months, 2 weeks ago) by leberre
Branch:
MAIN
Moved all PB related classes to a separate PB module.
That code relies on sat4j core classes.
This form allows you to request diffs between any two revisions of
a file. You may select a symbolic revision name using the selection
box or you may type in a numeric name using the type-in text box.
Back to OW2 Forge