reorganize the directories under src, and rescue the JavaScript interpreter from deprecated

1 files changed, 0 insertions, 13 deletions

diff --git a/src/PGF/doc/Eng.gf b/src/PGF/doc/Eng.gf
deleted file mode 100644
index c64f46313..000000000
--- a/src/PGF/doc/Eng.gf
+++ /dev/null
@@ -1,13 +0,0 @@
-concrete Eng of Ex = {
-  lincat
-    S  = {s : Str} ;
-    NP = {s : Str ; n : Num} ;
-    VP = {s : Num => Str} ;
-  param
-    Num = Sg | Pl ;
-  lin
-    Pred np vp = {s = np.s ++ vp.s ! np.n} ;
-    She = {s = "she" ; n = Sg} ;
-    They = {s = "they" ; n = Pl} ;
-    Sleep = {s = table {Sg => "sleeps" ; Pl => "sleep"}} ;
-}