Move again to formal-languages...

binghe · Mar 1, 2025 · f961797 · f961797
1 parent 45652a1
commit f961797
Show file tree

Hide file tree

Showing 5 changed files with 2 additions and 2 deletions.
diff --git a/.../process-algebras/pi-calculus/Holmakefile → .../formal-languages/pi-calculus/Holmakefile b/.../process-algebras/pi-calculus/Holmakefile → .../formal-languages/pi-calculus/Holmakefile
diff --git a/...s/pi-calculus/open_bisimulationScript.sml → ...s/pi-calculus/open_bisimulationScript.sml b/...s/pi-calculus/open_bisimulationScript.sml → ...s/pi-calculus/open_bisimulationScript.sml
diff --git a/...algebras/pi-calculus/pi_nominalScript.sml → ...anguages/pi-calculus/pi_nominalScript.sml b/...algebras/pi-calculus/pi_nominalScript.sml → ...anguages/pi-calculus/pi_nominalScript.sml
diff --git a/...ocess-algebras/pi-calculus/testScript.sml → ...rmal-languages/pi-calculus/testScript.sml b/...ocess-algebras/pi-calculus/testScript.sml → ...rmal-languages/pi-calculus/testScript.sml
diff --git a/src/parallel_builds/core/Holmakefile b/src/parallel_builds/core/Holmakefile
@@ -36,15 +36,15 @@ AXIOMATIC_EXAMPLES = $(patsubst %,axiomatic-developments/%,$(AXIOMATIC_THYDIRS))
 EXDIRS = algebra/aat \
          arm/arm6-verification arm/armv8-memory-model arm/experimental \
          $(AXIOMATIC_EXAMPLES) \
-         CCS process-algebras Crypto/RSA Crypto/SHA-2 \
+         CCS Crypto/RSA Crypto/SHA-2 \
          Crypto/pedersenCommitment Crypto/sigmaProtocol \
          Crypto/Keccak Hoare-for-divergence MLsyntax \
          PSL/1.01/executable-semantics PSL/1.1/official-semantics \
 	 STE algorithms computability countchars dependability dev \
          developers/ThmSetData \
 	 fermat \
 	 formal-languages formal-languages/context-free \
-         formal-languages/contig \
+         formal-languages/contig formal-languages/pi-calculus \
          formal-languages/lambek formal-languages/regular/regular-play \
          fun-op-sem/lprefix_lub fun-op-sem/for \
          hardware hfs \