CVS log for doc/ztp-zbierka/03-spravnost-programov.tex
Up to [Platon] / doc / ztp-zbierka
Request diff between arbitrary revisions
Default branch: MAIN
Revision 1.11 / (download) - [select for diffs], Mon Aug 20 09:26:39 2007 UTC (16 years, 8 months ago) by nepto
Changes since 1.10: +102 -1 lines Diff to previous 1.10 (colored)
Added Hoare definitions
Revision 1.10 / (download) - [select for diffs], Mon Aug 20 08:42:59 2007 UTC (16 years, 8 months ago) by nepto
Changes since 1.9: +37 -1 lines Diff to previous 1.9 (colored)
Added Floyd definitions
Revision 1.9 / (download) - [select for diffs], Sun May 27 16:38:21 2007 UTC (16 years, 10 months ago) by nepto
Changes since 1.8: +2 -9 lines Diff to previous 1.8 (colored)
Fixed bugs & typos, corrections by Dusan Guller
Revision 1.8 / (download) - [select for diffs], Sun Apr 29 19:39:13 2007 UTC (16 years, 11 months ago) by nepto
Changes since 1.7: +1 -19 lines Diff to previous 1.7 (colored)
Removed BAD solutions
Revision 1.7 / (download) - [select for diffs], Wed Nov 23 19:33:59 2005 UTC (18 years, 4 months ago) by nepto
Changes since 1.6: +2 -2
lines Diff to previous 1.6 (colored)
Bumped source copyright year.
Changed Platon SDG to Platon Group.
Revision 1.6 / (download) - [select for diffs], Tue May 18 19:39:27 2004 UTC (19 years, 11 months ago) by nepto
Changes since 1.5: +2 -2
lines Diff to previous 1.5 (colored)
Bumped copyright year and version to "release 0.8.3 build 2004-05-18".
Revision 1.5 / (download) - [select for diffs], Fri May 7 21:14:52 2004 UTC (19 years, 11 months ago) by nepto
Changes since 1.4: +2 -2
lines Diff to previous 1.4 (colored)
Fixed typo in Invariant.
Revision 1.4 / (download) - [select for diffs], Fri May 7 21:08:13 2004 UTC (19 years, 11 months ago) by nepto
Changes since 1.3: +2 -2
lines Diff to previous 1.3 (colored)
Fixed typos.
Revision 1.3 / (download) - [select for diffs], Mon Mar 15 10:24:47 2004 UTC (20 years, 1 month ago) by nepto
Changes since 1.2: +2 -2
lines Diff to previous 1.2 (colored)
Fixed typos: standart => standard
Revision 1.2 / (download) - [select for diffs], Fri Oct 10 13:40:35 2003 UTC (20 years, 6 months ago) by nepto
Changes since 1.1: +14 -6
lines Diff to previous 1.1 (colored)
Changed TODOs for some "lightweight" sentences.
Revision 1.1 / (download) - [select for diffs], Fri Jul 18 17:07:11 2003 UTC (20 years, 9 months ago) by nepto
Document "ztp-zbierka" imported into CVS.
This form allows you to request diff's 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.
Platon Group <platon@platon.org> http://platon.org/
|