From a00471be4b5fec7f852b48d0f2c92f6ec7ebaef5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Dec 2010 10:24:02 +0000
Subject: [PATCH] Added txt extension to README files.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2315 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism-examples/{README => README.txt}                             | 0
 prism-examples/brp/{README => README.txt}                         | 0
 prism-examples/cell/{README => README.txt}                        | 0
 prism-examples/cluster/{README => README.txt}                     | 0
 prism-examples/consensus/{README => README.txt}                   | 0
 prism-examples/csma/{README => README.txt}                        | 0
 prism-examples/dice/{README => README.txt}                        | 0
 prism-examples/dining_crypt/{README => README.txt}                | 0
 prism-examples/embedded/{README => README.txt}                    | 0
 prism-examples/firewire/{README => README.txt}                    | 0
 prism-examples/fms/{README => README.txt}                         | 0
 prism-examples/kanban/{README => README.txt}                      | 0
 prism-examples/leader/asynchronous/{README => README.txt}         | 0
 prism-examples/leader/synchronous/{README => README.txt}          | 0
 prism-examples/molecules/{README => README.txt}                   | 0
 prism-examples/mutual/{README => README.txt}                      | 0
 prism-examples/peer2peer/{README => README.txt}                   | 0
 prism-examples/pepa/{README => README.txt}                        | 0
 prism-examples/phil/nofair/{README => README.txt}                 | 0
 prism-examples/phil/original/{README => README.txt}               | 0
 prism-examples/phil_lss/{README => README.txt}                    | 0
 prism-examples/polling/{README => README.txt}                     | 0
 prism-examples/rabin/{README => README.txt}                       | 0
 .../self-stabilisation/beauquier/{README => README.txt}           | 0
 prism-examples/self-stabilisation/herman/{README => README.txt}   | 0
 .../self-stabilisation/israeli-jalfon/{README => README.txt}      | 0
 prism-examples/tandem/{README => README.txt}                      | 0
 prism-examples/wlan/{README => README.txt}                        | 0
 prism-examples/zeroconf/{README => README.txt}                    | 0
 29 files changed, 0 insertions(+), 0 deletions(-)
 rename prism-examples/{README => README.txt} (100%)
 rename prism-examples/brp/{README => README.txt} (100%)
 rename prism-examples/cell/{README => README.txt} (100%)
 rename prism-examples/cluster/{README => README.txt} (100%)
 rename prism-examples/consensus/{README => README.txt} (100%)
 rename prism-examples/csma/{README => README.txt} (100%)
 rename prism-examples/dice/{README => README.txt} (100%)
 rename prism-examples/dining_crypt/{README => README.txt} (100%)
 rename prism-examples/embedded/{README => README.txt} (100%)
 rename prism-examples/firewire/{README => README.txt} (100%)
 rename prism-examples/fms/{README => README.txt} (100%)
 rename prism-examples/kanban/{README => README.txt} (100%)
 rename prism-examples/leader/asynchronous/{README => README.txt} (100%)
 rename prism-examples/leader/synchronous/{README => README.txt} (100%)
 rename prism-examples/molecules/{README => README.txt} (100%)
 rename prism-examples/mutual/{README => README.txt} (100%)
 rename prism-examples/peer2peer/{README => README.txt} (100%)
 rename prism-examples/pepa/{README => README.txt} (100%)
 rename prism-examples/phil/nofair/{README => README.txt} (100%)
 rename prism-examples/phil/original/{README => README.txt} (100%)
 rename prism-examples/phil_lss/{README => README.txt} (100%)
 rename prism-examples/polling/{README => README.txt} (100%)
 rename prism-examples/rabin/{README => README.txt} (100%)
 rename prism-examples/self-stabilisation/beauquier/{README => README.txt} (100%)
 rename prism-examples/self-stabilisation/herman/{README => README.txt} (100%)
 rename prism-examples/self-stabilisation/israeli-jalfon/{README => README.txt} (100%)
 rename prism-examples/tandem/{README => README.txt} (100%)
 rename prism-examples/wlan/{README => README.txt} (100%)
 rename prism-examples/zeroconf/{README => README.txt} (100%)

diff --git a/prism-examples/README b/prism-examples/README.txt
similarity index 100%
rename from prism-examples/README
rename to prism-examples/README.txt
diff --git a/prism-examples/brp/README b/prism-examples/brp/README.txt
similarity index 100%
rename from prism-examples/brp/README
rename to prism-examples/brp/README.txt
diff --git a/prism-examples/cell/README b/prism-examples/cell/README.txt
similarity index 100%
rename from prism-examples/cell/README
rename to prism-examples/cell/README.txt
diff --git a/prism-examples/cluster/README b/prism-examples/cluster/README.txt
similarity index 100%
rename from prism-examples/cluster/README
rename to prism-examples/cluster/README.txt
diff --git a/prism-examples/consensus/README b/prism-examples/consensus/README.txt
similarity index 100%
rename from prism-examples/consensus/README
rename to prism-examples/consensus/README.txt
diff --git a/prism-examples/csma/README b/prism-examples/csma/README.txt
similarity index 100%
rename from prism-examples/csma/README
rename to prism-examples/csma/README.txt
diff --git a/prism-examples/dice/README b/prism-examples/dice/README.txt
similarity index 100%
rename from prism-examples/dice/README
rename to prism-examples/dice/README.txt
diff --git a/prism-examples/dining_crypt/README b/prism-examples/dining_crypt/README.txt
similarity index 100%
rename from prism-examples/dining_crypt/README
rename to prism-examples/dining_crypt/README.txt
diff --git a/prism-examples/embedded/README b/prism-examples/embedded/README.txt
similarity index 100%
rename from prism-examples/embedded/README
rename to prism-examples/embedded/README.txt
diff --git a/prism-examples/firewire/README b/prism-examples/firewire/README.txt
similarity index 100%
rename from prism-examples/firewire/README
rename to prism-examples/firewire/README.txt
diff --git a/prism-examples/fms/README b/prism-examples/fms/README.txt
similarity index 100%
rename from prism-examples/fms/README
rename to prism-examples/fms/README.txt
diff --git a/prism-examples/kanban/README b/prism-examples/kanban/README.txt
similarity index 100%
rename from prism-examples/kanban/README
rename to prism-examples/kanban/README.txt
diff --git a/prism-examples/leader/asynchronous/README b/prism-examples/leader/asynchronous/README.txt
similarity index 100%
rename from prism-examples/leader/asynchronous/README
rename to prism-examples/leader/asynchronous/README.txt
diff --git a/prism-examples/leader/synchronous/README b/prism-examples/leader/synchronous/README.txt
similarity index 100%
rename from prism-examples/leader/synchronous/README
rename to prism-examples/leader/synchronous/README.txt
diff --git a/prism-examples/molecules/README b/prism-examples/molecules/README.txt
similarity index 100%
rename from prism-examples/molecules/README
rename to prism-examples/molecules/README.txt
diff --git a/prism-examples/mutual/README b/prism-examples/mutual/README.txt
similarity index 100%
rename from prism-examples/mutual/README
rename to prism-examples/mutual/README.txt
diff --git a/prism-examples/peer2peer/README b/prism-examples/peer2peer/README.txt
similarity index 100%
rename from prism-examples/peer2peer/README
rename to prism-examples/peer2peer/README.txt
diff --git a/prism-examples/pepa/README b/prism-examples/pepa/README.txt
similarity index 100%
rename from prism-examples/pepa/README
rename to prism-examples/pepa/README.txt
diff --git a/prism-examples/phil/nofair/README b/prism-examples/phil/nofair/README.txt
similarity index 100%
rename from prism-examples/phil/nofair/README
rename to prism-examples/phil/nofair/README.txt
diff --git a/prism-examples/phil/original/README b/prism-examples/phil/original/README.txt
similarity index 100%
rename from prism-examples/phil/original/README
rename to prism-examples/phil/original/README.txt
diff --git a/prism-examples/phil_lss/README b/prism-examples/phil_lss/README.txt
similarity index 100%
rename from prism-examples/phil_lss/README
rename to prism-examples/phil_lss/README.txt
diff --git a/prism-examples/polling/README b/prism-examples/polling/README.txt
similarity index 100%
rename from prism-examples/polling/README
rename to prism-examples/polling/README.txt
diff --git a/prism-examples/rabin/README b/prism-examples/rabin/README.txt
similarity index 100%
rename from prism-examples/rabin/README
rename to prism-examples/rabin/README.txt
diff --git a/prism-examples/self-stabilisation/beauquier/README b/prism-examples/self-stabilisation/beauquier/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/beauquier/README
rename to prism-examples/self-stabilisation/beauquier/README.txt
diff --git a/prism-examples/self-stabilisation/herman/README b/prism-examples/self-stabilisation/herman/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/herman/README
rename to prism-examples/self-stabilisation/herman/README.txt
diff --git a/prism-examples/self-stabilisation/israeli-jalfon/README b/prism-examples/self-stabilisation/israeli-jalfon/README.txt
similarity index 100%
rename from prism-examples/self-stabilisation/israeli-jalfon/README
rename to prism-examples/self-stabilisation/israeli-jalfon/README.txt
diff --git a/prism-examples/tandem/README b/prism-examples/tandem/README.txt
similarity index 100%
rename from prism-examples/tandem/README
rename to prism-examples/tandem/README.txt
diff --git a/prism-examples/wlan/README b/prism-examples/wlan/README.txt
similarity index 100%
rename from prism-examples/wlan/README
rename to prism-examples/wlan/README.txt
diff --git a/prism-examples/zeroconf/README b/prism-examples/zeroconf/README.txt
similarity index 100%
rename from prism-examples/zeroconf/README
rename to prism-examples/zeroconf/README.txt