From bab9b2ec6c255ea6734867b2bd25538510181555 Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Thu, 29 Oct 2009 18:21:54 +0000 Subject: [PATCH] refactoring ... --- helm/software/lambda-delta/Make | 2 +- helm/software/lambda-delta/complete_rg/Make | 1 + helm/software/lambda-delta/{dual_rg => complete_rg}/drg.ml | 0 helm/software/lambda-delta/{dual_rg => complete_rg}/drgAut.ml | 0 helm/software/lambda-delta/{dual_rg => complete_rg}/drgAut.mli | 0 helm/software/lambda-delta/{dual_rg => complete_rg}/drgBrg.ml | 0 helm/software/lambda-delta/{dual_rg => complete_rg}/drgBrg.mli | 0 .../software/lambda-delta/{dual_rg => complete_rg}/drgOutput.ml | 0 .../lambda-delta/{dual_rg => complete_rg}/drgOutput.mli | 0 helm/software/lambda-delta/dual_rg/Make | 1 - 10 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 helm/software/lambda-delta/complete_rg/Make rename helm/software/lambda-delta/{dual_rg => complete_rg}/drg.ml (100%) rename helm/software/lambda-delta/{dual_rg => complete_rg}/drgAut.ml (100%) rename helm/software/lambda-delta/{dual_rg => complete_rg}/drgAut.mli (100%) rename helm/software/lambda-delta/{dual_rg => complete_rg}/drgBrg.ml (100%) rename helm/software/lambda-delta/{dual_rg => complete_rg}/drgBrg.mli (100%) rename helm/software/lambda-delta/{dual_rg => complete_rg}/drgOutput.ml (100%) rename helm/software/lambda-delta/{dual_rg => complete_rg}/drgOutput.mli (100%) delete mode 100644 helm/software/lambda-delta/dual_rg/Make diff --git a/helm/software/lambda-delta/Make b/helm/software/lambda-delta/Make index 5179d30aa..5730e32e6 100644 --- a/helm/software/lambda-delta/Make +++ b/helm/software/lambda-delta/Make @@ -1 +1 @@ -lib automath common basic_ag basic_rg dual_rg toplevel +lib automath common basic_ag basic_rg complete_rg toplevel diff --git a/helm/software/lambda-delta/complete_rg/Make b/helm/software/lambda-delta/complete_rg/Make new file mode 100644 index 000000000..71e141c30 --- /dev/null +++ b/helm/software/lambda-delta/complete_rg/Make @@ -0,0 +1 @@ +crg crgOutput crgAut crgBrg diff --git a/helm/software/lambda-delta/dual_rg/drg.ml b/helm/software/lambda-delta/complete_rg/drg.ml similarity index 100% rename from helm/software/lambda-delta/dual_rg/drg.ml rename to helm/software/lambda-delta/complete_rg/drg.ml diff --git a/helm/software/lambda-delta/dual_rg/drgAut.ml b/helm/software/lambda-delta/complete_rg/drgAut.ml similarity index 100% rename from helm/software/lambda-delta/dual_rg/drgAut.ml rename to helm/software/lambda-delta/complete_rg/drgAut.ml diff --git a/helm/software/lambda-delta/dual_rg/drgAut.mli b/helm/software/lambda-delta/complete_rg/drgAut.mli similarity index 100% rename from helm/software/lambda-delta/dual_rg/drgAut.mli rename to helm/software/lambda-delta/complete_rg/drgAut.mli diff --git a/helm/software/lambda-delta/dual_rg/drgBrg.ml b/helm/software/lambda-delta/complete_rg/drgBrg.ml similarity index 100% rename from helm/software/lambda-delta/dual_rg/drgBrg.ml rename to helm/software/lambda-delta/complete_rg/drgBrg.ml diff --git a/helm/software/lambda-delta/dual_rg/drgBrg.mli b/helm/software/lambda-delta/complete_rg/drgBrg.mli similarity index 100% rename from helm/software/lambda-delta/dual_rg/drgBrg.mli rename to helm/software/lambda-delta/complete_rg/drgBrg.mli diff --git a/helm/software/lambda-delta/dual_rg/drgOutput.ml b/helm/software/lambda-delta/complete_rg/drgOutput.ml similarity index 100% rename from helm/software/lambda-delta/dual_rg/drgOutput.ml rename to helm/software/lambda-delta/complete_rg/drgOutput.ml diff --git a/helm/software/lambda-delta/dual_rg/drgOutput.mli b/helm/software/lambda-delta/complete_rg/drgOutput.mli similarity index 100% rename from helm/software/lambda-delta/dual_rg/drgOutput.mli rename to helm/software/lambda-delta/complete_rg/drgOutput.mli diff --git a/helm/software/lambda-delta/dual_rg/Make b/helm/software/lambda-delta/dual_rg/Make deleted file mode 100644 index ca9618905..000000000 --- a/helm/software/lambda-delta/dual_rg/Make +++ /dev/null @@ -1 +0,0 @@ -drg drgOutput drgAut drgBrg -- 2.39.2