From c87a73806365feadc23300194a42ab8edb0f8b1b Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Sun, 14 Dec 2008 15:32:38 +0000 Subject: [PATCH] we are changing the kernel version from basic_rg to basic_ag --- helm/software/lambda-delta/{basic_rg => basic_ag}/Make | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brg.ml | 0 .../lambda-delta/{basic_rg => basic_ag}/brgEnvironment.ml | 0 .../lambda-delta/{basic_rg => basic_ag}/brgEnvironment.mli | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brgOutput.ml | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brgOutput.mli | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brgReduction.ml | 0 .../software/lambda-delta/{basic_rg => basic_ag}/brgReduction.mli | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brgType.ml | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brgType.mli | 0 helm/software/lambda-delta/{basic_rg => basic_ag}/brgUntrusted.ml | 0 .../software/lambda-delta/{basic_rg => basic_ag}/brgUntrusted.mli | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename helm/software/lambda-delta/{basic_rg => basic_ag}/Make (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brg.ml (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgEnvironment.ml (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgEnvironment.mli (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgOutput.ml (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgOutput.mli (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgReduction.ml (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgReduction.mli (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgType.ml (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgType.mli (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgUntrusted.ml (100%) rename helm/software/lambda-delta/{basic_rg => basic_ag}/brgUntrusted.mli (100%) diff --git a/helm/software/lambda-delta/basic_rg/Make b/helm/software/lambda-delta/basic_ag/Make similarity index 100% rename from helm/software/lambda-delta/basic_rg/Make rename to helm/software/lambda-delta/basic_ag/Make diff --git a/helm/software/lambda-delta/basic_rg/brg.ml b/helm/software/lambda-delta/basic_ag/brg.ml similarity index 100% rename from helm/software/lambda-delta/basic_rg/brg.ml rename to helm/software/lambda-delta/basic_ag/brg.ml diff --git a/helm/software/lambda-delta/basic_rg/brgEnvironment.ml b/helm/software/lambda-delta/basic_ag/brgEnvironment.ml similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgEnvironment.ml rename to helm/software/lambda-delta/basic_ag/brgEnvironment.ml diff --git a/helm/software/lambda-delta/basic_rg/brgEnvironment.mli b/helm/software/lambda-delta/basic_ag/brgEnvironment.mli similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgEnvironment.mli rename to helm/software/lambda-delta/basic_ag/brgEnvironment.mli diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.ml b/helm/software/lambda-delta/basic_ag/brgOutput.ml similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgOutput.ml rename to helm/software/lambda-delta/basic_ag/brgOutput.ml diff --git a/helm/software/lambda-delta/basic_rg/brgOutput.mli b/helm/software/lambda-delta/basic_ag/brgOutput.mli similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgOutput.mli rename to helm/software/lambda-delta/basic_ag/brgOutput.mli diff --git a/helm/software/lambda-delta/basic_rg/brgReduction.ml b/helm/software/lambda-delta/basic_ag/brgReduction.ml similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgReduction.ml rename to helm/software/lambda-delta/basic_ag/brgReduction.ml diff --git a/helm/software/lambda-delta/basic_rg/brgReduction.mli b/helm/software/lambda-delta/basic_ag/brgReduction.mli similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgReduction.mli rename to helm/software/lambda-delta/basic_ag/brgReduction.mli diff --git a/helm/software/lambda-delta/basic_rg/brgType.ml b/helm/software/lambda-delta/basic_ag/brgType.ml similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgType.ml rename to helm/software/lambda-delta/basic_ag/brgType.ml diff --git a/helm/software/lambda-delta/basic_rg/brgType.mli b/helm/software/lambda-delta/basic_ag/brgType.mli similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgType.mli rename to helm/software/lambda-delta/basic_ag/brgType.mli diff --git a/helm/software/lambda-delta/basic_rg/brgUntrusted.ml b/helm/software/lambda-delta/basic_ag/brgUntrusted.ml similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgUntrusted.ml rename to helm/software/lambda-delta/basic_ag/brgUntrusted.ml diff --git a/helm/software/lambda-delta/basic_rg/brgUntrusted.mli b/helm/software/lambda-delta/basic_ag/brgUntrusted.mli similarity index 100% rename from helm/software/lambda-delta/basic_rg/brgUntrusted.mli rename to helm/software/lambda-delta/basic_ag/brgUntrusted.mli -- 2.39.2