From 64e1beaa773c06e651b5f9be3418b9b8a04e765a Mon Sep 17 00:00:00 2001 From: gheber Date: Wed, 24 Dec 2014 04:07:54 -0600 Subject: [PATCH] Source reorg Subdirectories, .cl -> .lisp --- {Kenzo-1 => doc}/How-to-Compile-Kenzo-with-Acl8.txt | 0 .../How-to-Compile-Kenzo-with-CLisp.txt | 0 .../How-to-Compile-Kenzo-with-LispWorks.txt | 0 {Kenzo-1 => doc}/How-to-Use-Kenzo-with-Acl8.txt | 0 {Kenzo-1 => doc}/How-to-Use-Kenzo-with-CLisp.txt | 0 .../How-to-Use-Kenzo-with-LispWorks.txt | 0 {Kenzo-1 => doc}/Kenzo-Doc.pdf | Bin Kenzo-1/Demo.cl => src/Demo.lisp | 0 Kenzo-1/algebras.cl => src/algebras.lisp | 0 Kenzo-1/bar.cl => src/bar.lisp | 0 Kenzo-1/bicones.cl => src/bicones.lisp | 0 .../cartesian-products.lisp | 0 Kenzo-1/cat-init.cl => src/cat-init.lisp | 0 .../chain-complexes.cl => src/chain-complexes.lisp | 0 .../chcm-elementary-op.lisp | 0 Kenzo-1/cl-space-efhm.cl => src/cl-space-efhm.lisp | 0 Kenzo-1/classes.cl => src/classes.lisp | 0 .../classifying-spaces.lisp | 0 Kenzo-1/coalgebras.cl => src/coalgebras.lisp | 0 Kenzo-1/cobar.cl => src/cobar.lisp | 0 Kenzo-1/combinations.cl => src/combinations.lisp | 0 Kenzo-1/cones.cl => src/cones.lisp | 0 .../cs-twisted-products.lisp | 0 Kenzo-1/delta.cl => src/delta.lisp | 0 Kenzo-1/disk-pasting.cl => src/disk-pasting.lisp | 0 .../effective-homology.lisp | 0 .../eilenberg-zilber.lisp | 0 Kenzo-1/fibrations.cl => src/fibrations.lisp | 0 .../homology-groups.cl => src/homology-groups.lisp | 0 Kenzo-1/k-pi-n.cl => src/k-pi-n.lisp | 0 Kenzo-1/kan.cl => src/kan.lisp | 0 Kenzo-1/loop-spaces.cl => src/loop-spaces.lisp | 0 Kenzo-1/lp-space-efhm.cl => src/lp-space-efhm.lisp | 0 .../ls-twisted-products.lisp | 0 Kenzo-1/macros.cl => src/macros.lisp | 0 .../searching-homology.lisp | 0 Kenzo-1/serre.cl => src/serre.lisp | 0 .../simplicial-groups.lisp | 0 .../simplicial-mrphs.lisp | 0 .../simplicial-sets.cl => src/simplicial-sets.lisp | 0 Kenzo-1/smith.cl => src/smith.lisp | 0 Kenzo-1/special-smsts.cl => src/special-smsts.lisp | 0 Kenzo-1/suspensions.cl => src/suspensions.lisp | 0 .../tensor-products.cl => src/tensor-products.lisp | 0 Kenzo-1/various.cl => src/various.lisp | 0 Kenzo-1/whitehead.cl => src/whitehead.lisp | 0 Kenzo-1/Test.cl => test/Test.lisp | 0 47 files changed, 0 insertions(+), 0 deletions(-) rename {Kenzo-1 => doc}/How-to-Compile-Kenzo-with-Acl8.txt (100%) rename {Kenzo-1 => doc}/How-to-Compile-Kenzo-with-CLisp.txt (100%) rename {Kenzo-1 => doc}/How-to-Compile-Kenzo-with-LispWorks.txt (100%) rename {Kenzo-1 => doc}/How-to-Use-Kenzo-with-Acl8.txt (100%) rename {Kenzo-1 => doc}/How-to-Use-Kenzo-with-CLisp.txt (100%) rename {Kenzo-1 => doc}/How-to-Use-Kenzo-with-LispWorks.txt (100%) rename {Kenzo-1 => doc}/Kenzo-Doc.pdf (100%) rename Kenzo-1/Demo.cl => src/Demo.lisp (100%) rename Kenzo-1/algebras.cl => src/algebras.lisp (100%) rename Kenzo-1/bar.cl => src/bar.lisp (100%) rename Kenzo-1/bicones.cl => src/bicones.lisp (100%) rename Kenzo-1/cartesian-products.cl => src/cartesian-products.lisp (100%) rename Kenzo-1/cat-init.cl => src/cat-init.lisp (100%) rename Kenzo-1/chain-complexes.cl => src/chain-complexes.lisp (100%) rename Kenzo-1/chcm-elementary-op.cl => src/chcm-elementary-op.lisp (100%) rename Kenzo-1/cl-space-efhm.cl => src/cl-space-efhm.lisp (100%) rename Kenzo-1/classes.cl => src/classes.lisp (100%) rename Kenzo-1/classifying-spaces.cl => src/classifying-spaces.lisp (100%) rename Kenzo-1/coalgebras.cl => src/coalgebras.lisp (100%) rename Kenzo-1/cobar.cl => src/cobar.lisp (100%) rename Kenzo-1/combinations.cl => src/combinations.lisp (100%) rename Kenzo-1/cones.cl => src/cones.lisp (100%) rename Kenzo-1/cs-twisted-products.cl => src/cs-twisted-products.lisp (100%) rename Kenzo-1/delta.cl => src/delta.lisp (100%) rename Kenzo-1/disk-pasting.cl => src/disk-pasting.lisp (100%) rename Kenzo-1/effective-homology.cl => src/effective-homology.lisp (100%) rename Kenzo-1/eilenberg-zilber.cl => src/eilenberg-zilber.lisp (100%) rename Kenzo-1/fibrations.cl => src/fibrations.lisp (100%) rename Kenzo-1/homology-groups.cl => src/homology-groups.lisp (100%) rename Kenzo-1/k-pi-n.cl => src/k-pi-n.lisp (100%) rename Kenzo-1/kan.cl => src/kan.lisp (100%) rename Kenzo-1/loop-spaces.cl => src/loop-spaces.lisp (100%) rename Kenzo-1/lp-space-efhm.cl => src/lp-space-efhm.lisp (100%) rename Kenzo-1/ls-twisted-products.cl => src/ls-twisted-products.lisp (100%) rename Kenzo-1/macros.cl => src/macros.lisp (100%) rename Kenzo-1/searching-homology.cl => src/searching-homology.lisp (100%) rename Kenzo-1/serre.cl => src/serre.lisp (100%) rename Kenzo-1/simplicial-groups.cl => src/simplicial-groups.lisp (100%) rename Kenzo-1/simplicial-mrphs.cl => src/simplicial-mrphs.lisp (100%) rename Kenzo-1/simplicial-sets.cl => src/simplicial-sets.lisp (100%) rename Kenzo-1/smith.cl => src/smith.lisp (100%) rename Kenzo-1/special-smsts.cl => src/special-smsts.lisp (100%) rename Kenzo-1/suspensions.cl => src/suspensions.lisp (100%) rename Kenzo-1/tensor-products.cl => src/tensor-products.lisp (100%) rename Kenzo-1/various.cl => src/various.lisp (100%) rename Kenzo-1/whitehead.cl => src/whitehead.lisp (100%) rename Kenzo-1/Test.cl => test/Test.lisp (100%) diff --git a/Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt b/doc/How-to-Compile-Kenzo-with-Acl8.txt similarity index 100% rename from Kenzo-1/How-to-Compile-Kenzo-with-Acl8.txt rename to doc/How-to-Compile-Kenzo-with-Acl8.txt diff --git a/Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt b/doc/How-to-Compile-Kenzo-with-CLisp.txt similarity index 100% rename from Kenzo-1/How-to-Compile-Kenzo-with-CLisp.txt rename to doc/How-to-Compile-Kenzo-with-CLisp.txt diff --git a/Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt b/doc/How-to-Compile-Kenzo-with-LispWorks.txt similarity index 100% rename from Kenzo-1/How-to-Compile-Kenzo-with-LispWorks.txt rename to doc/How-to-Compile-Kenzo-with-LispWorks.txt diff --git a/Kenzo-1/How-to-Use-Kenzo-with-Acl8.txt b/doc/How-to-Use-Kenzo-with-Acl8.txt similarity index 100% rename from Kenzo-1/How-to-Use-Kenzo-with-Acl8.txt rename to doc/How-to-Use-Kenzo-with-Acl8.txt diff --git a/Kenzo-1/How-to-Use-Kenzo-with-CLisp.txt b/doc/How-to-Use-Kenzo-with-CLisp.txt similarity index 100% rename from Kenzo-1/How-to-Use-Kenzo-with-CLisp.txt rename to doc/How-to-Use-Kenzo-with-CLisp.txt diff --git a/Kenzo-1/How-to-Use-Kenzo-with-LispWorks.txt b/doc/How-to-Use-Kenzo-with-LispWorks.txt similarity index 100% rename from Kenzo-1/How-to-Use-Kenzo-with-LispWorks.txt rename to doc/How-to-Use-Kenzo-with-LispWorks.txt diff --git a/Kenzo-1/Kenzo-Doc.pdf b/doc/Kenzo-Doc.pdf similarity index 100% rename from Kenzo-1/Kenzo-Doc.pdf rename to doc/Kenzo-Doc.pdf diff --git a/Kenzo-1/Demo.cl b/src/Demo.lisp similarity index 100% rename from Kenzo-1/Demo.cl rename to src/Demo.lisp diff --git a/Kenzo-1/algebras.cl b/src/algebras.lisp similarity index 100% rename from Kenzo-1/algebras.cl rename to src/algebras.lisp diff --git a/Kenzo-1/bar.cl b/src/bar.lisp similarity index 100% rename from Kenzo-1/bar.cl rename to src/bar.lisp diff --git a/Kenzo-1/bicones.cl b/src/bicones.lisp similarity index 100% rename from Kenzo-1/bicones.cl rename to src/bicones.lisp diff --git a/Kenzo-1/cartesian-products.cl b/src/cartesian-products.lisp similarity index 100% rename from Kenzo-1/cartesian-products.cl rename to src/cartesian-products.lisp diff --git a/Kenzo-1/cat-init.cl b/src/cat-init.lisp similarity index 100% rename from Kenzo-1/cat-init.cl rename to src/cat-init.lisp diff --git a/Kenzo-1/chain-complexes.cl b/src/chain-complexes.lisp similarity index 100% rename from Kenzo-1/chain-complexes.cl rename to src/chain-complexes.lisp diff --git a/Kenzo-1/chcm-elementary-op.cl b/src/chcm-elementary-op.lisp similarity index 100% rename from Kenzo-1/chcm-elementary-op.cl rename to src/chcm-elementary-op.lisp diff --git a/Kenzo-1/cl-space-efhm.cl b/src/cl-space-efhm.lisp similarity index 100% rename from Kenzo-1/cl-space-efhm.cl rename to src/cl-space-efhm.lisp diff --git a/Kenzo-1/classes.cl b/src/classes.lisp similarity index 100% rename from Kenzo-1/classes.cl rename to src/classes.lisp diff --git a/Kenzo-1/classifying-spaces.cl b/src/classifying-spaces.lisp similarity index 100% rename from Kenzo-1/classifying-spaces.cl rename to src/classifying-spaces.lisp diff --git a/Kenzo-1/coalgebras.cl b/src/coalgebras.lisp similarity index 100% rename from Kenzo-1/coalgebras.cl rename to src/coalgebras.lisp diff --git a/Kenzo-1/cobar.cl b/src/cobar.lisp similarity index 100% rename from Kenzo-1/cobar.cl rename to src/cobar.lisp diff --git a/Kenzo-1/combinations.cl b/src/combinations.lisp similarity index 100% rename from Kenzo-1/combinations.cl rename to src/combinations.lisp diff --git a/Kenzo-1/cones.cl b/src/cones.lisp similarity index 100% rename from Kenzo-1/cones.cl rename to src/cones.lisp diff --git a/Kenzo-1/cs-twisted-products.cl b/src/cs-twisted-products.lisp similarity index 100% rename from Kenzo-1/cs-twisted-products.cl rename to src/cs-twisted-products.lisp diff --git a/Kenzo-1/delta.cl b/src/delta.lisp similarity index 100% rename from Kenzo-1/delta.cl rename to src/delta.lisp diff --git a/Kenzo-1/disk-pasting.cl b/src/disk-pasting.lisp similarity index 100% rename from Kenzo-1/disk-pasting.cl rename to src/disk-pasting.lisp diff --git a/Kenzo-1/effective-homology.cl b/src/effective-homology.lisp similarity index 100% rename from Kenzo-1/effective-homology.cl rename to src/effective-homology.lisp diff --git a/Kenzo-1/eilenberg-zilber.cl b/src/eilenberg-zilber.lisp similarity index 100% rename from Kenzo-1/eilenberg-zilber.cl rename to src/eilenberg-zilber.lisp diff --git a/Kenzo-1/fibrations.cl b/src/fibrations.lisp similarity index 100% rename from Kenzo-1/fibrations.cl rename to src/fibrations.lisp diff --git a/Kenzo-1/homology-groups.cl b/src/homology-groups.lisp similarity index 100% rename from Kenzo-1/homology-groups.cl rename to src/homology-groups.lisp diff --git a/Kenzo-1/k-pi-n.cl b/src/k-pi-n.lisp similarity index 100% rename from Kenzo-1/k-pi-n.cl rename to src/k-pi-n.lisp diff --git a/Kenzo-1/kan.cl b/src/kan.lisp similarity index 100% rename from Kenzo-1/kan.cl rename to src/kan.lisp diff --git a/Kenzo-1/loop-spaces.cl b/src/loop-spaces.lisp similarity index 100% rename from Kenzo-1/loop-spaces.cl rename to src/loop-spaces.lisp diff --git a/Kenzo-1/lp-space-efhm.cl b/src/lp-space-efhm.lisp similarity index 100% rename from Kenzo-1/lp-space-efhm.cl rename to src/lp-space-efhm.lisp diff --git a/Kenzo-1/ls-twisted-products.cl b/src/ls-twisted-products.lisp similarity index 100% rename from Kenzo-1/ls-twisted-products.cl rename to src/ls-twisted-products.lisp diff --git a/Kenzo-1/macros.cl b/src/macros.lisp similarity index 100% rename from Kenzo-1/macros.cl rename to src/macros.lisp diff --git a/Kenzo-1/searching-homology.cl b/src/searching-homology.lisp similarity index 100% rename from Kenzo-1/searching-homology.cl rename to src/searching-homology.lisp diff --git a/Kenzo-1/serre.cl b/src/serre.lisp similarity index 100% rename from Kenzo-1/serre.cl rename to src/serre.lisp diff --git a/Kenzo-1/simplicial-groups.cl b/src/simplicial-groups.lisp similarity index 100% rename from Kenzo-1/simplicial-groups.cl rename to src/simplicial-groups.lisp diff --git a/Kenzo-1/simplicial-mrphs.cl b/src/simplicial-mrphs.lisp similarity index 100% rename from Kenzo-1/simplicial-mrphs.cl rename to src/simplicial-mrphs.lisp diff --git a/Kenzo-1/simplicial-sets.cl b/src/simplicial-sets.lisp similarity index 100% rename from Kenzo-1/simplicial-sets.cl rename to src/simplicial-sets.lisp diff --git a/Kenzo-1/smith.cl b/src/smith.lisp similarity index 100% rename from Kenzo-1/smith.cl rename to src/smith.lisp diff --git a/Kenzo-1/special-smsts.cl b/src/special-smsts.lisp similarity index 100% rename from Kenzo-1/special-smsts.cl rename to src/special-smsts.lisp diff --git a/Kenzo-1/suspensions.cl b/src/suspensions.lisp similarity index 100% rename from Kenzo-1/suspensions.cl rename to src/suspensions.lisp diff --git a/Kenzo-1/tensor-products.cl b/src/tensor-products.lisp similarity index 100% rename from Kenzo-1/tensor-products.cl rename to src/tensor-products.lisp diff --git a/Kenzo-1/various.cl b/src/various.lisp similarity index 100% rename from Kenzo-1/various.cl rename to src/various.lisp diff --git a/Kenzo-1/whitehead.cl b/src/whitehead.lisp similarity index 100% rename from Kenzo-1/whitehead.cl rename to src/whitehead.lisp diff --git a/Kenzo-1/Test.cl b/test/Test.lisp similarity index 100% rename from Kenzo-1/Test.cl rename to test/Test.lisp