next-lib renamed to lib, lib to old-lib

1 files changed, 13 insertions, 0 deletions

diff --git a/old-lib/resource/french/ResFre.gf b/old-lib/resource/french/ResFre.gf
new file mode 100644
index 000000000..3641d1da7
--- /dev/null
+++ b/old-lib/resource/french/ResFre.gf
@@ -0,0 +1,13 @@
+--1 French auxiliary operations.
+--
+---- This module contains operations that are needed to make the
+---- resource syntax work. To define everything that is needed to
+---- implement $Test$, it moreover contains regular lexical
+---- patterns needed for $Lex$.
+--
+
+instance ResFre of ResRomance = DiffFre ** open CommonRomance, Prelude in {
+
+flags optimize=noexpand ;
+
+} ;