CVS log pre doc/ztp-zbierka/04-semantika-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], Sat Aug 11 03:20:28 2007 UTC (17 years, 9 months ago) by nepto


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

Several changed and corrections done on the Heathrow airport

Revízia 1.10 / (stiahnutie) - [označiť k rozdielom], Mon Aug 6 04:56:50 2007 UTC (17 years, 9 months ago) by nepto

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

Fixed wrong fixpoints.
Added inductional solutions to the last two examples.

Revízia 1.9 / (stiahnutie) - [označiť k rozdielom], Mon Jul 30 04:55:09 2007 UTC (17 years, 9 months ago) by nepto

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

Removed wrong and/or unneccessary parts (as suggested by Dusan Guller)

Revízia 1.8 / (stiahnutie) - [označiť k rozdielom], Sat Jul 14 20:53:45 2007 UTC (17 years, 10 months ago) by nepto

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

Added example 38 (a long one!)

Revízia 1.7 / (stiahnutie) - [označiť k rozdielom], Sat Jul 14 06:56:14 2007 UTC (17 years, 10 months ago) by nepto

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

Improved last example

Revízia 1.6 / (stiahnutie) - [označiť k rozdielom], Thu Jul 12 04:29:45 2007 UTC (17 years, 10 months ago) by nepto

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

Added another example, number 37

Revízia 1.5 / (stiahnutie) - [označiť k rozdielom], Wed Jul 11 00:44:51 2007 UTC (17 years, 10 months ago) by nepto

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

Added new example (36) and fixed old one (35)

Revízia 1.4 / (stiahnutie) - [označiť k rozdielom], Sun Jun 3 11:33:05 2007 UTC (17 years, 11 months ago) by nepto

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

Added and modified example by Jozef Vavro (neptos_treasure_chest).

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


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

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

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


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

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

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.