aboutsummaryrefslogtreecommitdiff
path: root/kappa9
diff options
context:
space:
mode:
authorJoseph Hunkeler <jhunkeler@gmail.com>2015-06-13 19:16:32 -0400
committerJoseph Hunkeler <jhunkeler@gmail.com>2015-06-13 19:25:08 -0400
commited34c457afbbc8d130e5c4e8c9995d588df1cf93 (patch)
treee9ca54084b623febea876cc75256d2ad4afabbda /kappa9
parent1c5d4005c1a7b9d636e4410b606c58683a5a8672 (diff)
downloadkasym-ed34c457afbbc8d130e5c4e8c9995d588df1cf93.tar.gz
Move examples into proper directoryHEADmaster
Refactor structure of examples Refreshing examples
Diffstat (limited to 'kappa9')
-rw-r--r--kappa9/examples/kapm01.ros (renamed from kappa9/kapm01.ros)0
-rw-r--r--kappa9/examples/kapm02.ros (renamed from kappa9/kapm02.ros)0
-rw-r--r--kappa9/examples/kapm03.ros (renamed from kappa9/kapm03.ros)0
-rw-r--r--kappa9/examples/kapm04.ros (renamed from kappa9/kapm04.ros)0
-rw-r--r--kappa9/examples/kapm05.ros (renamed from kappa9/kapm05.ros)0
-rw-r--r--kappa9/examples/kapm05a.ros (renamed from kappa9/kapm05a.ros)0
-rw-r--r--kappa9/examples/kapm05a2.ros (renamed from kappa9/kapm05a2.ros)0
-rw-r--r--kappa9/examples/kapm075.ros (renamed from kappa9/kapm075.ros)0
-rw-r--r--kappa9/examples/kapm10.ros (renamed from kappa9/kapm10.ros)0
-rw-r--r--kappa9/examples/kapm10a.ros (renamed from kappa9/kapm10a.ros)0
-rw-r--r--kappa9/examples/kapm15.ros (renamed from kappa9/kapm15.ros)0
-rw-r--r--kappa9/examples/kapm15a.ros (renamed from kappa9/kapm15a.ros)0
-rw-r--r--kappa9/examples/kapm20.ros (renamed from kappa9/kapm20.ros)0
-rw-r--r--kappa9/examples/kapm20a.ros (renamed from kappa9/kapm20a.ros)0
-rw-r--r--kappa9/examples/kapm25.ros (renamed from kappa9/kapm25.ros)0
-rw-r--r--kappa9/examples/kapm25a.ros (renamed from kappa9/kapm25a.ros)0
-rw-r--r--kappa9/examples/kapm30a.ros (renamed from kappa9/kapm30a.ros)0
-rw-r--r--kappa9/examples/kapm30new.ros (renamed from kappa9/kapm30new.ros)0
-rw-r--r--kappa9/examples/kapm35.ros (renamed from kappa9/kapm35.ros)0
-rw-r--r--kappa9/examples/kapm35a.ros (renamed from kappa9/kapm35a.ros)0
-rw-r--r--kappa9/examples/kapm40a.ros (renamed from kappa9/kapm40a.ros)0
-rw-r--r--kappa9/examples/kapm40new.ros (renamed from kappa9/kapm40new.ros)0
-rw-r--r--kappa9/examples/kapm45a.ros (renamed from kappa9/kapm45a.ros)0
-rw-r--r--kappa9/examples/kapm55a.ros (renamed from kappa9/kapm55a.ros)0
-rw-r--r--kappa9/examples/kapp00.ros (renamed from kappa9/kapp00.ros)0
-rw-r--r--kappa9/examples/kapp00a.ros (renamed from kappa9/kapp00a.ros)0
-rw-r--r--kappa9/examples/kapp00new.ros (renamed from kappa9/kapp00new.ros)0
-rw-r--r--kappa9/examples/kapp01.ros (renamed from kappa9/kapp01.ros)0
-rw-r--r--kappa9/examples/kapp02.ros (renamed from kappa9/kapp02.ros)0
-rw-r--r--kappa9/examples/kapp02a.ros (renamed from kappa9/kapp02a.ros)0
-rw-r--r--kappa9/examples/kapp03.ros (renamed from kappa9/kapp03.ros)0
-rw-r--r--kappa9/examples/kapp04.ros (renamed from kappa9/kapp04.ros)0
-rw-r--r--kappa9/examples/kapp05.ros (renamed from kappa9/kapp05.ros)0
-rw-r--r--kappa9/examples/kapp05a.ros (renamed from kappa9/kapp05a.ros)0
-rw-r--r--kappa9/examples/kapp075.ros (renamed from kappa9/kapp075.ros)0
-rw-r--r--kappa9/examples/kapp10.ros (renamed from kappa9/kapp10.ros)0
-rw-r--r--kappa9/examples/kapp15.ros (renamed from kappa9/kapp15.ros)0
-rw-r--r--kappa9/examples/kappa9m40k2.com (renamed from kappa9/kappa9m40k2.com)0
-rw-r--r--kappa9/examples/kaprossinterp.com (renamed from kappa9/kaprossinterp.com)0
39 files changed, 0 insertions, 0 deletions
diff --git a/kappa9/kapm01.ros b/kappa9/examples/kapm01.ros
index 3948bcd..3948bcd 100644
--- a/kappa9/kapm01.ros
+++ b/kappa9/examples/kapm01.ros
diff --git a/kappa9/kapm02.ros b/kappa9/examples/kapm02.ros
index 2fc84e8..2fc84e8 100644
--- a/kappa9/kapm02.ros
+++ b/kappa9/examples/kapm02.ros
diff --git a/kappa9/kapm03.ros b/kappa9/examples/kapm03.ros
index db29158..db29158 100644
--- a/kappa9/kapm03.ros
+++ b/kappa9/examples/kapm03.ros
diff --git a/kappa9/kapm04.ros b/kappa9/examples/kapm04.ros
index 5dfd529..5dfd529 100644
--- a/kappa9/kapm04.ros
+++ b/kappa9/examples/kapm04.ros
diff --git a/kappa9/kapm05.ros b/kappa9/examples/kapm05.ros
index fab1f55..fab1f55 100644
--- a/kappa9/kapm05.ros
+++ b/kappa9/examples/kapm05.ros
diff --git a/kappa9/kapm05a.ros b/kappa9/examples/kapm05a.ros
index 765ad85..765ad85 100644
--- a/kappa9/kapm05a.ros
+++ b/kappa9/examples/kapm05a.ros
diff --git a/kappa9/kapm05a2.ros b/kappa9/examples/kapm05a2.ros
index 3765891..3765891 100644
--- a/kappa9/kapm05a2.ros
+++ b/kappa9/examples/kapm05a2.ros
diff --git a/kappa9/kapm075.ros b/kappa9/examples/kapm075.ros
index a6bd384..a6bd384 100644
--- a/kappa9/kapm075.ros
+++ b/kappa9/examples/kapm075.ros
diff --git a/kappa9/kapm10.ros b/kappa9/examples/kapm10.ros
index 8476e94..8476e94 100644
--- a/kappa9/kapm10.ros
+++ b/kappa9/examples/kapm10.ros
diff --git a/kappa9/kapm10a.ros b/kappa9/examples/kapm10a.ros
index 7a4603a..7a4603a 100644
--- a/kappa9/kapm10a.ros
+++ b/kappa9/examples/kapm10a.ros
diff --git a/kappa9/kapm15.ros b/kappa9/examples/kapm15.ros
index da7f815..da7f815 100644
--- a/kappa9/kapm15.ros
+++ b/kappa9/examples/kapm15.ros
diff --git a/kappa9/kapm15a.ros b/kappa9/examples/kapm15a.ros
index 97caa27..97caa27 100644
--- a/kappa9/kapm15a.ros
+++ b/kappa9/examples/kapm15a.ros
diff --git a/kappa9/kapm20.ros b/kappa9/examples/kapm20.ros
index 56e916b..56e916b 100644
--- a/kappa9/kapm20.ros
+++ b/kappa9/examples/kapm20.ros
diff --git a/kappa9/kapm20a.ros b/kappa9/examples/kapm20a.ros
index c33b7de..c33b7de 100644
--- a/kappa9/kapm20a.ros
+++ b/kappa9/examples/kapm20a.ros
diff --git a/kappa9/kapm25.ros b/kappa9/examples/kapm25.ros
index 93fe940..93fe940 100644
--- a/kappa9/kapm25.ros
+++ b/kappa9/examples/kapm25.ros
diff --git a/kappa9/kapm25a.ros b/kappa9/examples/kapm25a.ros
index b348f1d..b348f1d 100644
--- a/kappa9/kapm25a.ros
+++ b/kappa9/examples/kapm25a.ros
diff --git a/kappa9/kapm30a.ros b/kappa9/examples/kapm30a.ros
index 5f0b563..5f0b563 100644
--- a/kappa9/kapm30a.ros
+++ b/kappa9/examples/kapm30a.ros
diff --git a/kappa9/kapm30new.ros b/kappa9/examples/kapm30new.ros
index a120e81..a120e81 100644
--- a/kappa9/kapm30new.ros
+++ b/kappa9/examples/kapm30new.ros
diff --git a/kappa9/kapm35.ros b/kappa9/examples/kapm35.ros
index 1a06098..1a06098 100644
--- a/kappa9/kapm35.ros
+++ b/kappa9/examples/kapm35.ros
diff --git a/kappa9/kapm35a.ros b/kappa9/examples/kapm35a.ros
index eec30ce..eec30ce 100644
--- a/kappa9/kapm35a.ros
+++ b/kappa9/examples/kapm35a.ros
diff --git a/kappa9/kapm40a.ros b/kappa9/examples/kapm40a.ros
index 5ef7c9b..5ef7c9b 100644
--- a/kappa9/kapm40a.ros
+++ b/kappa9/examples/kapm40a.ros
diff --git a/kappa9/kapm40new.ros b/kappa9/examples/kapm40new.ros
index 2787004..2787004 100644
--- a/kappa9/kapm40new.ros
+++ b/kappa9/examples/kapm40new.ros
diff --git a/kappa9/kapm45a.ros b/kappa9/examples/kapm45a.ros
index 9d7e08e..9d7e08e 100644
--- a/kappa9/kapm45a.ros
+++ b/kappa9/examples/kapm45a.ros
diff --git a/kappa9/kapm55a.ros b/kappa9/examples/kapm55a.ros
index 0da95ca..0da95ca 100644
--- a/kappa9/kapm55a.ros
+++ b/kappa9/examples/kapm55a.ros
diff --git a/kappa9/kapp00.ros b/kappa9/examples/kapp00.ros
index 22f1f69..22f1f69 100644
--- a/kappa9/kapp00.ros
+++ b/kappa9/examples/kapp00.ros
diff --git a/kappa9/kapp00a.ros b/kappa9/examples/kapp00a.ros
index bff92a6..bff92a6 100644
--- a/kappa9/kapp00a.ros
+++ b/kappa9/examples/kapp00a.ros
diff --git a/kappa9/kapp00new.ros b/kappa9/examples/kapp00new.ros
index 543800d..543800d 100644
--- a/kappa9/kapp00new.ros
+++ b/kappa9/examples/kapp00new.ros
diff --git a/kappa9/kapp01.ros b/kappa9/examples/kapp01.ros
index e78e88a..e78e88a 100644
--- a/kappa9/kapp01.ros
+++ b/kappa9/examples/kapp01.ros
diff --git a/kappa9/kapp02.ros b/kappa9/examples/kapp02.ros
index 74d0229..74d0229 100644
--- a/kappa9/kapp02.ros
+++ b/kappa9/examples/kapp02.ros
diff --git a/kappa9/kapp02a.ros b/kappa9/examples/kapp02a.ros
index 042a62b..042a62b 100644
--- a/kappa9/kapp02a.ros
+++ b/kappa9/examples/kapp02a.ros
diff --git a/kappa9/kapp03.ros b/kappa9/examples/kapp03.ros
index 6b9df90..6b9df90 100644
--- a/kappa9/kapp03.ros
+++ b/kappa9/examples/kapp03.ros
diff --git a/kappa9/kapp04.ros b/kappa9/examples/kapp04.ros
index e1e23d2..e1e23d2 100644
--- a/kappa9/kapp04.ros
+++ b/kappa9/examples/kapp04.ros
diff --git a/kappa9/kapp05.ros b/kappa9/examples/kapp05.ros
index 94d8a2c..94d8a2c 100644
--- a/kappa9/kapp05.ros
+++ b/kappa9/examples/kapp05.ros
diff --git a/kappa9/kapp05a.ros b/kappa9/examples/kapp05a.ros
index 853f695..853f695 100644
--- a/kappa9/kapp05a.ros
+++ b/kappa9/examples/kapp05a.ros
diff --git a/kappa9/kapp075.ros b/kappa9/examples/kapp075.ros
index f2fec4d..f2fec4d 100644
--- a/kappa9/kapp075.ros
+++ b/kappa9/examples/kapp075.ros
diff --git a/kappa9/kapp10.ros b/kappa9/examples/kapp10.ros
index d18da6d..d18da6d 100644
--- a/kappa9/kapp10.ros
+++ b/kappa9/examples/kapp10.ros
diff --git a/kappa9/kapp15.ros b/kappa9/examples/kapp15.ros
index e6eacf4..e6eacf4 100644
--- a/kappa9/kapp15.ros
+++ b/kappa9/examples/kapp15.ros
diff --git a/kappa9/kappa9m40k2.com b/kappa9/examples/kappa9m40k2.com
index f9824d7..f9824d7 100644
--- a/kappa9/kappa9m40k2.com
+++ b/kappa9/examples/kappa9m40k2.com
diff --git a/kappa9/kaprossinterp.com b/kappa9/examples/kaprossinterp.com
index fad990e..fad990e 100644
--- a/kappa9/kaprossinterp.com
+++ b/kappa9/examples/kaprossinterp.com