CVS log for doc/ztp-zbierka/04-semantika-programov.tex

Up to [Platon] / doc / ztp-zbierka

Request diff between arbitrary revisions

Default branch: MAIN

Revision 1.11 / (download) - [select for diffs], Sat Aug 11 03:20:28 2007 UTC (16 years, 8 months ago) by nepto


Changes since 1.10: +18 -19 lines
Diff to previous 1.10 (colored)

Several changed and corrections done on the Heathrow airport

Revision 1.10 / (download) - [select for diffs], Mon Aug 6 04:56:50 2007 UTC (16 years, 8 months ago) by nepto

Changes since 1.9: +167 -18 lines
Diff to previous 1.9 (colored)

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

Revision 1.9 / (download) - [select for diffs], Mon Jul 30 04:55:09 2007 UTC (16 years, 8 months ago) by nepto

Changes since 1.8: +34 -34 lines
Diff to previous 1.8 (colored)

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

Revision 1.8 / (download) - [select for diffs], Sat Jul 14 20:53:45 2007 UTC (16 years, 9 months ago) by nepto

Changes since 1.7: +219 -1 lines
Diff to previous 1.7 (colored)

Added example 38 (a long one!)

Revision 1.7 / (download) - [select for diffs], Sat Jul 14 06:56:14 2007 UTC (16 years, 9 months ago) by nepto

Changes since 1.6: +90 -18 lines
Diff to previous 1.6 (colored)

Improved last example

Revision 1.6 / (download) - [select for diffs], Thu Jul 12 04:29:45 2007 UTC (16 years, 9 months ago) by nepto

Changes since 1.5: +80 -1 lines
Diff to previous 1.5 (colored)

Added another example, number 37

Revision 1.5 / (download) - [select for diffs], Wed Jul 11 00:44:51 2007 UTC (16 years, 9 months ago) by nepto

Changes since 1.4: +77 -19 lines
Diff to previous 1.4 (colored)

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

Revision 1.4 / (download) - [select for diffs], Sun Jun 3 11:33:05 2007 UTC (16 years, 10 months ago) by nepto

Changes since 1.3: +169 -1 lines
Diff to previous 1.3 (colored)

Added and modified example by Jozef Vavro (neptos_treasure_chest).

Revision 1.3 / (download) - [select for diffs], Wed Nov 23 19:33:59 2005 UTC (18 years, 5 months ago) by nepto


Changes since 1.2: +2 -2 lines
Diff to previous 1.2 (colored)

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

Revision 1.2 / (download) - [select for diffs], Tue May 18 19:39:27 2004 UTC (19 years, 11 months ago) by nepto


Changes since 1.1: +2 -2 lines
Diff to previous 1.1 (colored)

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

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.