From 0a54af46215a0b5309014f467a29cd8463063e38 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 16 Mar 2005 16:15:28 +0000 Subject: [PATCH] removed old HTML files (tagged with "old_htmls") --- helm/searchEngine/html/aliaslist.html | 90 --------- helm/searchEngine/html/almost_blank.html | 5 - helm/searchEngine/html/blank.html | 4 - helm/searchEngine/html/boole.html | 77 -------- .../html/constraints_choice_template.html | 18 -- helm/searchEngine/html/editor.html | 122 ------------ helm/searchEngine/html/editorpdq.html | 90 --------- helm/searchEngine/html/expnamedsubst.html | 78 -------- helm/searchEngine/html/expr.html | 59 ------ helm/searchEngine/html/genid.html | 27 --- helm/searchEngine/html/grammar.html | 76 -------- helm/searchEngine/html/grammarpdq.html | 38 ---- helm/searchEngine/html/loc_obj.html | 29 --- helm/searchEngine/html/mat_con.html | 10 - helm/searchEngine/html/moogle_chat1.html | 83 -------- helm/searchEngine/html/moogle_chat2.html | 27 --- .../html/moogle_constraints_choice.html | 90 --------- helm/searchEngine/html/paginacollink.html | 13 -- helm/searchEngine/html/pdq.html | 75 -------- helm/searchEngine/html/query_choice.html | 33 ---- helm/searchEngine/html/set.html | 178 ------------------ helm/searchEngine/html/start.html | 15 -- helm/searchEngine/html/summary.html | 23 --- helm/searchEngine/html/templateambigpdq1.html | 22 --- helm/searchEngine/html/templateambigpdq2.html | 19 -- helm/searchEngine/html/templateambigpdq3.html | 11 -- helm/searchEngine/html/val.html | 115 ----------- 27 files changed, 1427 deletions(-) delete mode 100644 helm/searchEngine/html/aliaslist.html delete mode 100644 helm/searchEngine/html/almost_blank.html delete mode 100644 helm/searchEngine/html/blank.html delete mode 100644 helm/searchEngine/html/boole.html delete mode 100644 helm/searchEngine/html/constraints_choice_template.html delete mode 100644 helm/searchEngine/html/editor.html delete mode 100644 helm/searchEngine/html/editorpdq.html delete mode 100644 helm/searchEngine/html/expnamedsubst.html delete mode 100644 helm/searchEngine/html/expr.html delete mode 100644 helm/searchEngine/html/genid.html delete mode 100644 helm/searchEngine/html/grammar.html delete mode 100644 helm/searchEngine/html/grammarpdq.html delete mode 100644 helm/searchEngine/html/loc_obj.html delete mode 100644 helm/searchEngine/html/mat_con.html delete mode 100644 helm/searchEngine/html/moogle_chat1.html delete mode 100644 helm/searchEngine/html/moogle_chat2.html delete mode 100644 helm/searchEngine/html/moogle_constraints_choice.html delete mode 100644 helm/searchEngine/html/paginacollink.html delete mode 100644 helm/searchEngine/html/pdq.html delete mode 100644 helm/searchEngine/html/query_choice.html delete mode 100644 helm/searchEngine/html/set.html delete mode 100644 helm/searchEngine/html/start.html delete mode 100644 helm/searchEngine/html/summary.html delete mode 100644 helm/searchEngine/html/templateambigpdq1.html delete mode 100644 helm/searchEngine/html/templateambigpdq2.html delete mode 100644 helm/searchEngine/html/templateambigpdq3.html delete mode 100644 helm/searchEngine/html/val.html diff --git a/helm/searchEngine/html/aliaslist.html b/helm/searchEngine/html/aliaslist.html deleted file mode 100644 index 27497acf8..000000000 --- a/helm/searchEngine/html/aliaslist.html +++ /dev/null @@ -1,90 +0,0 @@ - - - - - -
-alias id - -= -
-
- -
-
-
- - diff --git a/helm/searchEngine/html/almost_blank.html b/helm/searchEngine/html/almost_blank.html deleted file mode 100644 index 05204a549..000000000 --- a/helm/searchEngine/html/almost_blank.html +++ /dev/null @@ -1,5 +0,0 @@ - - -Are you lost? Consult the on-line manual - - diff --git a/helm/searchEngine/html/blank.html b/helm/searchEngine/html/blank.html deleted file mode 100644 index 3334d0b61..000000000 --- a/helm/searchEngine/html/blank.html +++ /dev/null @@ -1,4 +0,0 @@ - - - - diff --git a/helm/searchEngine/html/boole.html b/helm/searchEngine/html/boole.html deleted file mode 100644 index 67024321b..000000000 --- a/helm/searchEngine/html/boole.html +++ /dev/null @@ -1,77 +0,0 @@ - - - - - -

- -

-

Select one of the following:

-
-
- ( [boole] )
- [boole]
- [boole] [boole]
- [val] -[val]
-
- -
- - \ No newline at end of file diff --git a/helm/searchEngine/html/constraints_choice_template.html b/helm/searchEngine/html/constraints_choice_template.html deleted file mode 100644 index c81a8d74d..000000000 --- a/helm/searchEngine/html/constraints_choice_template.html +++ /dev/null @@ -1,18 +0,0 @@ - - - Refine the Constraints - - - -
- You can now proceed using the default generated constraints or you - can refine them by hand before going on.

- - - @FORM@ -
-
- - diff --git a/helm/searchEngine/html/editor.html b/helm/searchEngine/html/editor.html deleted file mode 100644 index 683b20030..000000000 --- a/helm/searchEngine/html/editor.html +++ /dev/null @@ -1,122 +0,0 @@ - - - - - - - -
-
- -
 -
-
-
-
- - - - - - diff --git a/helm/searchEngine/html/editorpdq.html b/helm/searchEngine/html/editorpdq.html deleted file mode 100644 index 4e82f8faa..000000000 --- a/helm/searchEngine/html/editorpdq.html +++ /dev/null @@ -1,90 +0,0 @@ - - - - - -
- Your list of alias. - -
-
Your expression.
- - - -
- - - diff --git a/helm/searchEngine/html/expnamedsubst.html b/helm/searchEngine/html/expnamedsubst.html deleted file mode 100644 index 3db7acaba..000000000 --- a/helm/searchEngine/html/expnamedsubst.html +++ /dev/null @@ -1,78 +0,0 @@ - - - - - -You must now enter a list of named_subst. A named_subst is an Id or a Varuri followed by ":=" followed by an expression. -You may enter as many of them as you want (even none), after each one click the button "add" or press enter and it will be added. When you are done, click "done". -
-
- Insert here the Id or the Uri you want to add. - -
- -
- -
- - diff --git a/helm/searchEngine/html/expr.html b/helm/searchEngine/html/expr.html deleted file mode 100644 index dea29bc52..000000000 --- a/helm/searchEngine/html/expr.html +++ /dev/null @@ -1,59 +0,0 @@ - - - - - -You are entering an expression. Select one of the following. -
-\lambda [Genid]:[Expr].[Expr]
-let [Genid] = [Expr] in [Expr]
-\forall [Genid]:[Expr].[Expr]
-[Expr] \to [Expr]
-?
-
- ( [Expr list] )
-
- -
- - diff --git a/helm/searchEngine/html/genid.html b/helm/searchEngine/html/genid.html deleted file mode 100644 index 1ca94c4cf..000000000 --- a/helm/searchEngine/html/genid.html +++ /dev/null @@ -1,27 +0,0 @@ - - - - - -You are now entering a Genid. It may be a simple Id, or an Uri followed by nothing or by an Exp_Named_Subst. -
- Insert here the Id -
- Or insert here the Uri. The uri may not be a Conuri.
- -
- - diff --git a/helm/searchEngine/html/grammar.html b/helm/searchEngine/html/grammar.html deleted file mode 100644 index a18b27cd7..000000000 --- a/helm/searchEngine/html/grammar.html +++ /dev/null @@ -1,76 +0,0 @@ - - - - - -

<string>::= '"' [ "\" . | '^ " \' ] * '"' - -

<path>::= <string> [ "/" <string> ] * - -

<string_list>::= <string> [ "," <string> ] * - -

<alpha>::= [ 'A - Z' | 'a - z' |' :_' ] + - -

<number>::= [ '0 - 9' ] + - -

<id>::= <alpha> [ <alpha> | <number> ] * - -

<rvar>::= "@" <id> - -

<svar>::= "%" <id> - -

<vvar>::= "$" <id> - -

<refine>::= [ "sub" | "super" ] ? - -

<qualifier>::= [ "inverse" ] ? <refine> <path> - -

<assign>::= <vvar> "<-" <path> - -

<attr_list>::= [ "attr" <assign> [ "," <assign>] * ] ? - -

<set>::= "ref" <val>
-                 -| "pattern" <val>
-                 -| <svar>
-                 -| <rvar>
-                 -| "(" <set> ")"
-                 -| "relation" <qualifier> <val> <attr_list>
-                 -| "select" <rvar> "in" <set> "where" <boole>
-                 -| <set> [ "union" | "intersect" | "diff" ] <set>
-                 -| "let" <svar> "be" <set> "in" <set>
-                 -| "let" <vvar> "be" <val> "in" <set>
- -

<boole>::= [ "false" | "true" ]
-                    -| "(" <boole> ")"
-                    -| [ "not" | "ex" ] <boole>
-                    -| <boole> [ "and" | "or" ] <boole>
-                    -| <val> [ "sub" | "meet" | "eq" ] <val>
- -

<val>::= "{" [ <string_list> ] ? "}"
-                 -| <string>
-                 -| "refof" <set>
-                 -| <rvar> "." <vvar>
-                 -| <vvar>
-                 -| "(" <val> ")"
-                 -| "property" <qualifier> <val> - - \ No newline at end of file diff --git a/helm/searchEngine/html/grammarpdq.html b/helm/searchEngine/html/grammarpdq.html deleted file mode 100644 index 309e5b592..000000000 --- a/helm/searchEngine/html/grammarpdq.html +++ /dev/null @@ -1,38 +0,0 @@ - - - - - - -

<Id>::= [ 'A-Z' | 'a-z' ][ 'A-Z' | 'a-z' | '0-9' | \- | _ | \' ]* - -

<Uri>::= <Conuri> | <Varuri> | <Indtyuri> | <Indconuri> - -

<Conuri>::= "cic:/" [<Id> "/" ]*<Id> ".con" - -

<Varuri>::= "cic:/" [<Id> "/" ]*<Id> ".var" - -

<Indtyuri>::= "cic:/" [<Id> "/" ]*<Id> ".ind#1/" ['0-9']+ - -

<Indconuri>::= "cic:/" [<Id> "/" ]*<Id> ".ind#1/" ['0-9']+ "/" ['0-9']+ - -

<Exp_Named_Subst>::= "{" [ [ [<Id> | <Varuri> ] ":=" <Expression> ";" ]* [ [<Id> | <Varuri> ] ":=" <Expression> ] ]? "}" - -

<Alias>::= "alias" "id" <Id> = <Uri> - -

<Genid>::= [ <Id> | <Varuri> | <Indtyuri> | <Indconuri> ] <Exp_Named_Subst> - -

<Expr>::= "\" <Genid> [ ":" | ":=" ] <Expr>"."<Expr> -
            -::= "!" <Genid> ":" <Expr>"."<Expr> -
            -::= <Expr>"->"<Expr> -
            -::= "(" <Expr> ")" "->"<Expr> -
            -::= "(" <Expr> [ " " <Expr>]* ")" -
            -::= "Prop" | "Set" | "Type" | "?" | <Uri> | <Id> - - diff --git a/helm/searchEngine/html/loc_obj.html b/helm/searchEngine/html/loc_obj.html deleted file mode 100644 index b6b5222e3..000000000 --- a/helm/searchEngine/html/loc_obj.html +++ /dev/null @@ -1,29 +0,0 @@ - - - - - -

- -Insert here the name of the object you want to search. -
- -
- - diff --git a/helm/searchEngine/html/mat_con.html b/helm/searchEngine/html/mat_con.html deleted file mode 100644 index 5fab87356..000000000 --- a/helm/searchEngine/html/mat_con.html +++ /dev/null @@ -1,10 +0,0 @@ - - - - - - - diff --git a/helm/searchEngine/html/moogle_chat1.html b/helm/searchEngine/html/moogle_chat1.html deleted file mode 100644 index eb48d3d30..000000000 --- a/helm/searchEngine/html/moogle_chat1.html +++ /dev/null @@ -1,83 +0,0 @@ - - - -Moogle_chat1 - - -

There are more than one possible interpretations.

-
Please select one or more of the following: -
-
- @CHOICES@ - - - - - - - - -

- - - - - diff --git a/helm/searchEngine/html/moogle_chat2.html b/helm/searchEngine/html/moogle_chat2.html deleted file mode 100644 index 378e683f0..000000000 --- a/helm/searchEngine/html/moogle_chat2.html +++ /dev/null @@ -1,27 +0,0 @@ - - - -Moogle_chat2 - - -

- There are several possible interpretations -

-

- Please choose one of the following interpretations: -

-

- - - - - - - - @INTERPRETATIONS@ -

- - -

- - diff --git a/helm/searchEngine/html/moogle_constraints_choice.html b/helm/searchEngine/html/moogle_constraints_choice.html deleted file mode 100644 index b27dd93f1..000000000 --- a/helm/searchEngine/html/moogle_constraints_choice.html +++ /dev/null @@ -1,90 +0,0 @@ - - - -Moogle_constraints_choice - - -
- - - - - - - - You can now proceed using the default generated constraints or you - can refine them by hand before going on.

- - @FORM@ -
- - - diff --git a/helm/searchEngine/html/paginacollink.html b/helm/searchEngine/html/paginacollink.html deleted file mode 100644 index 83f41bcf9..000000000 --- a/helm/searchEngine/html/paginacollink.html +++ /dev/null @@ -1,13 +0,0 @@ - - - - - -Query composer - - diff --git a/helm/searchEngine/html/pdq.html b/helm/searchEngine/html/pdq.html deleted file mode 100644 index b4f5fe6c7..000000000 --- a/helm/searchEngine/html/pdq.html +++ /dev/null @@ -1,75 +0,0 @@ - - - - - - diff --git a/helm/searchEngine/html/query_choice.html b/helm/searchEngine/html/query_choice.html deleted file mode 100644 index 3e1932ad2..000000000 --- a/helm/searchEngine/html/query_choice.html +++ /dev/null @@ -1,33 +0,0 @@ - - - - - -
- -
- Locate Object
- Match Conclusion
- Search Pattern
- Locate Inductive Principle -
-
- - - diff --git a/helm/searchEngine/html/set.html b/helm/searchEngine/html/set.html deleted file mode 100644 index a07088957..000000000 --- a/helm/searchEngine/html/set.html +++ /dev/null @@ -1,178 +0,0 @@ - - - - - -

- -

-

Select one of the following:

-
- ref [val]
- pattern [val]
- -
- -
- ( [set] )
- relation - - - -[val] -
- select @ -in [set] where [boole]
[set] - -[set]
- let % be [set] in [set]
- let $ be [val] in [set]
-
- -