OW2 Consortium

CVS log for sat4j/org.sat4j.papers.sat08/encoding.tex

 (logo)

Help
(back) Up to [OW2-CVS] / sat4j / org.sat4j.papers.sat08

Request diff between arbitrary revisions / Display revisions graphically

Default branch: MAIN
Bookmark a link to: HEAD
Revision 1.23 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 22:36:59 2008 UTC (10 months ago) by leberre
Branch: MAIN
CVS Tags: HEAD
Changes since 1.22: +1 -2 lines
Diff to previous 1.22 
REmoved capability in the conclusion.
Revision 1.22 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 22:09:25 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.21: +1 -1 lines
Diff to previous 1.21 
retour arriere sur la toute derniere modif
Revision 1.21 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 22:06:46 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.20: +1 -28 lines
Diff to previous 1.20 
capability versions => preferred versions
Revision 1.20 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 21:55:05 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.19: +7 -5 lines
Diff to previous 1.19 
re-modifs de pascal...
Revision 1.19 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 21:32:11 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.18: +11 -7 lines
Diff to previous 1.18 
modifs de Pascal
Revision 1.18 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 17:44:22 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.17: +13 -14 lines
Diff to previous 1.17 
Fixed latest typos.
Revision 1.17 / (download) / (as text) - annotate - [select for diffs] , Sun Jan 20 09:36:59 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.16: +17 -9 lines
Diff to previous 1.16 
modifs de Pascal
Revision 1.16 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 22:47:54 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.15: +5 -3 lines
Diff to previous 1.15 
Fixed details (P2 =>p2). Sentence about 3.4 shipping in June.
Revision 1.15 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 22:36:58 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.14: +13 -12 lines
Diff to previous 1.14 
correction instituion pascal
Revision 1.14 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 22:33:15 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.13: +4 -13 lines
Diff to previous 1.13 
Updated conclusion. Removed the last sentence of the intro.
Revision 1.13 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 22:21:52 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.12: +1 -1 lines
Diff to previous 1.12 
Changed a bit the conclusion.
Revision 1.12 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 22:12:33 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.11: +12 -4 lines
Diff to previous 1.11 
Changed a bit the conclusion.
Revision 1.11 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 21:44:25 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.10: +14 -19 lines
Diff to previous 1.10 
Added Pascal patch and resolved conflicts (hope it was the right thing to do :))
Revision 1.10 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 21:43:33 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.9: +7 -7 lines
Diff to previous 1.9 
d'autres modifs mineures
Revision 1.9 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 21:29:16 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.8: +10 -8 lines
Diff to previous 1.8 
modifs mineures (coquilles)
Revision 1.8 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 19:55:56 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.7: +32 -26 lines
Diff to previous 1.7 
changed a bit the conclusion.
Revision 1.7 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 19:24:52 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.6: +64 -15 lines
Diff to previous 1.6 
Added experimental results.
Revision 1.6 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 17:19:41 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.5: +1 -1 lines
Diff to previous 1.5 
fixed thebibliography.
Revision 1.5 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 15:47:42 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.4: +46 -33 lines
Diff to previous 1.4 
Fixed the first sections.
Revision 1.4 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 15:00:26 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.3: +6 -6 lines
Diff to previous 1.3 
Correcting spelling mistakes.
Revision 1.3 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 14:51:29 2008 UTC (10 months ago) by leberre
Branch: MAIN
Changes since 1.2: +73 -30 lines
Diff to previous 1.2 
Applied pascal changes.
Revision 1.2 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 10:38:08 2008 UTC (10 months ago) by parrain
Branch: MAIN
Changes since 1.1: +40 -27 lines
Diff to previous 1.1 
principalement, changement des $$ en environnement equation
Revision 1.1 / (download) / (as text) - annotate - [select for diffs] , Sat Jan 19 09:33:00 2008 UTC (10 months ago) by leberre
Branch: MAIN 
Added tex file.
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.

Diffs between and
Type of Diff should be a
View only Branch:
Sort log by:
webmaster@ow2.org
 Powered by
ViewCVS 0.9.4

Back to OW2 Forge