From 88de17dd2063919ba1fbe84912e2c85677d9e979 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Thu, 9 Jul 2015 09:21:22 +0000
Subject: [PATCH] move the hoa- scripts to hoa subdirectory

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10269 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/{ => hoa}/hoa-library-for-prism                 | 0
 prism/etc/scripts/{ => hoa}/hoa-ltl2dstar-with-ltl2ba-for-prism   | 0
 prism/etc/scripts/{ => hoa}/hoa-ltl2dstar-with-ltl2tgba-for-prism | 0
 prism/etc/scripts/{ => hoa}/hoa-ltl2dstar-with-ltl3ba-for-prism   | 0
 prism/etc/scripts/{ => hoa}/hoa-ltl3dra-dra-for-prism             | 0
 prism/etc/scripts/{ => hoa}/hoa-ltl3dra-tgdra-for-prism           | 0
 prism/etc/scripts/{ => hoa}/hoa-rabinizer3-dgra-for-prism         | 0
 prism/etc/scripts/{ => hoa}/hoa-rabinizer3-dra-for-prism          | 0
 prism/etc/scripts/{ => hoa}/hoa-rabinizer3-tdra-for-prism         | 0
 prism/etc/scripts/{ => hoa}/hoa-rabinizer3-tgdra-for-prism        | 0
 10 files changed, 0 insertions(+), 0 deletions(-)
 rename prism/etc/scripts/{ => hoa}/hoa-library-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-ltl2dstar-with-ltl2ba-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-ltl2dstar-with-ltl2tgba-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-ltl2dstar-with-ltl3ba-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-ltl3dra-dra-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-ltl3dra-tgdra-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-rabinizer3-dgra-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-rabinizer3-dra-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-rabinizer3-tdra-for-prism (100%)
 rename prism/etc/scripts/{ => hoa}/hoa-rabinizer3-tgdra-for-prism (100%)

diff --git a/prism/etc/scripts/hoa-library-for-prism b/prism/etc/scripts/hoa/hoa-library-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-library-for-prism
rename to prism/etc/scripts/hoa/hoa-library-for-prism
diff --git a/prism/etc/scripts/hoa-ltl2dstar-with-ltl2ba-for-prism b/prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2ba-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl2dstar-with-ltl2ba-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2ba-for-prism
diff --git a/prism/etc/scripts/hoa-ltl2dstar-with-ltl2tgba-for-prism b/prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2tgba-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl2dstar-with-ltl2tgba-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl2tgba-for-prism
diff --git a/prism/etc/scripts/hoa-ltl2dstar-with-ltl3ba-for-prism b/prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl3ba-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl2dstar-with-ltl3ba-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl2dstar-with-ltl3ba-for-prism
diff --git a/prism/etc/scripts/hoa-ltl3dra-dra-for-prism b/prism/etc/scripts/hoa/hoa-ltl3dra-dra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl3dra-dra-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl3dra-dra-for-prism
diff --git a/prism/etc/scripts/hoa-ltl3dra-tgdra-for-prism b/prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-ltl3dra-tgdra-for-prism
rename to prism/etc/scripts/hoa/hoa-ltl3dra-tgdra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-dgra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-dgra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-dgra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-dgra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-dra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-dra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-dra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-dra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-tdra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-tdra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-tdra-for-prism
diff --git a/prism/etc/scripts/hoa-rabinizer3-tgdra-for-prism b/prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism
similarity index 100%
rename from prism/etc/scripts/hoa-rabinizer3-tgdra-for-prism
rename to prism/etc/scripts/hoa/hoa-rabinizer3-tgdra-for-prism