CVS log pre doc/ztp-zbierka/03-spravnost-programov.tex

Up to [Platon] / doc / ztp-zbierka

Zobrazenie rozdielov medzi ľubovoľnými revíziami

Základná vetva: MAIN

Revízia 1.11 / (stiahnutie) - [označiť k rozdielom], Mon Aug 20 09:26:39 2007 UTC (17 years, 8 months ago) by nepto


Zmeny od 1.10: +102 -1 [lines]
Rozdiely voči predchádzajúcej verzii 1.10 (colored)

Added Hoare definitions

Revízia 1.10 / (stiahnutie) - [označiť k rozdielom], Mon Aug 20 08:42:59 2007 UTC (17 years, 8 months ago) by nepto

Zmeny od 1.9: +37 -1 [lines]
Rozdiely voči predchádzajúcej verzii 1.9 (colored)

Added Floyd definitions

Revízia 1.9 / (stiahnutie) - [označiť k rozdielom], Sun May 27 16:38:21 2007 UTC (17 years, 11 months ago) by nepto

Zmeny od 1.8: +2 -9 [lines]
Rozdiely voči predchádzajúcej verzii 1.8 (colored)

Fixed bugs & typos, corrections by Dusan Guller

Revízia 1.8 / (stiahnutie) - [označiť k rozdielom], Sun Apr 29 19:39:13 2007 UTC (18 years ago) by nepto

Zmeny od 1.7: +1 -19 [lines]
Rozdiely voči predchádzajúcej verzii 1.7 (colored)

Removed BAD solutions

Revízia 1.7 / (stiahnutie) - [označiť k rozdielom], Wed Nov 23 19:33:59 2005 UTC (19 years, 5 months ago) by nepto


Zmeny od 1.6: +2 -2 [lines]
Rozdiely voči predchádzajúcej verzii 1.6 (colored)

Bumped source copyright year.
Changed Platon SDG to Platon Group.

Revízia 1.6 / (stiahnutie) - [označiť k rozdielom], Tue May 18 19:39:27 2004 UTC (21 years ago) by nepto


Zmeny od 1.5: +2 -2 [lines]
Rozdiely voči predchádzajúcej verzii 1.5 (colored)

Bumped copyright year and version to "release 0.8.3 build 2004-05-18".

Revízia 1.5 / (stiahnutie) - [označiť k rozdielom], Fri May 7 21:14:52 2004 UTC (21 years ago) by nepto

Zmeny od 1.4: +2 -2 [lines]
Rozdiely voči predchádzajúcej verzii 1.4 (colored)

Fixed typo in Invariant.

Revízia 1.4 / (stiahnutie) - [označiť k rozdielom], Fri May 7 21:08:13 2004 UTC (21 years ago) by nepto

Zmeny od 1.3: +2 -2 [lines]
Rozdiely voči predchádzajúcej verzii 1.3 (colored)

Fixed typos.

Revízia 1.3 / (stiahnutie) - [označiť k rozdielom], Mon Mar 15 10:24:47 2004 UTC (21 years, 2 months ago) by nepto

Zmeny od 1.2: +2 -2 [lines]
Rozdiely voči predchádzajúcej verzii 1.2 (colored)

Fixed typos: standart => standard

Revízia 1.2 / (stiahnutie) - [označiť k rozdielom], Fri Oct 10 13:40:35 2003 UTC (21 years, 7 months ago) by nepto

Zmeny od 1.1: +14 -6 [lines]
Rozdiely voči predchádzajúcej verzii 1.1 (colored)

Changed TODOs for some "lightweight" sentences.

Revízia 1.1 / (stiahnutie) - [označiť k rozdielom], Fri Jul 18 17:07:11 2003 UTC (21 years, 10 months ago) by nepto

Document "ztp-zbierka" imported into CVS.

Tento formulár umožňuje zobrazenie rozdielov medzii ľubovoľnými dvomi revíziami jedného súboru. Môžete vybrať symbolické meno revízie alebo priamo zadať číslo revízie do vstupného textového poľa.