]> matita.cs.unibo.it Git - helm.git/blob - helm/DEVEL/pxp/pxp/doc/dist-common.xml
- the mathql interpreter is not helm-dependent any more
[helm.git] / helm / DEVEL / pxp / pxp / doc / dist-common.xml
1 <?xml encoding="ISO-8859-1"?>
2
3 <!-- ************************************************************ -->
4 <!-- EXTERNAL URLs                                                -->
5 <!-- ************************************************************ -->
6
7 <!ENTITY url.ocaml           
8          "http://caml.inria.fr/">
9
10 <!ENTITY url.ocaml.list
11          "http://caml.inria.fr/caml-list-eng.html">
12
13 <!ENTITY url.ocaml.download
14          "ftp://ftp.inria.fr/lang/caml-light/">
15
16 <!ENTITY url.ocaml.camlp4
17          "http://caml.inria.fr/camlp4/">
18
19 <!ENTITY url.ocaml.hump
20          "http://caml.inria.fr/hump.html">
21
22 <!ENTITY url.ocaml.mottl
23          "http://miss.wu-wien.ac.at/~mottl/ocaml_sources/intro.html">
24
25 <!ENTITY url.ocaml.mottl.pcre
26          "http://miss.wu-wien.ac.at/~mottl/ocaml_sources/pcre_ocaml.tar.gz">
27
28 <!ENTITY url.ocaml.lindig
29          "http://www.cs.tu-bs.de/softech/people/lindig/software/index.html">
30
31 <!ENTITY url.ocaml.lindig.ocmarkup
32          "http://www.cs.tu-bs.de/softech/people/lindig/software/ocmarkup.html">
33
34 <!ENTITY url.ocaml.lindig.tony
35          "http://www.cs.tu-bs.de/softech/people/lindig/software/tony.html">
36
37 <!ENTITY url.ocaml.filliatre
38          "http://www.lri.fr/~filliatr/software.en.html">
39
40 <!ENTITY url.ocaml.filliatre.cgi
41          "http://www.lri.fr/~filliatr/ftp/ocaml/cgi/">
42
43 <!ENTITY url.xml-spec        
44          "http://www.w3.org/TR/1998/REC-xml-19980210.html">
45
46 <!ENTITY url.xml.oasis
47          "http://www.oasis-open.org/cover/">
48
49 <!ENTITY url.xml.w3c
50          "http://www.w3c.org/XML/">
51
52 <!ENTITY url.jclark-xmltdata 
53          "ftp://ftp.jclark.com/pub/xml/xmltest.zip">
54
55 <!ENTITY urlprefix.ietf.rfc
56          "http://www.ietf.org/rfc">
57    <!-- Ohne "/" am Ende! -->
58
59 <!ENTITY url.apache
60          "http://www.apache.org/">
61
62
63 <!-- ************************************************************ -->
64 <!-- MY URLs                                                      -->
65 <!-- ************************************************************ -->
66
67 <!ENTITY url.linkdb
68          "http://www.npc.de/ocaml/linkdb">
69
70 <!-- ************************************************************ -->
71 <!-- HOMEPAGE URLs                                                -->
72 <!-- ************************************************************ -->
73
74 <!-- GENERIC -->
75
76 <!ENTITY url.gps-ocaml-download 
77          "http://people.darmstadt.netsurf.de/Gerd.Stolpmann/ocaml">
78
79 <!ENTITY url.gps-ocaml-projects
80          "http://people.darmstadt.netsurf.de/Gerd.Stolpmann/ocaml/projects">
81
82 <!ENTITY url.gps-old-download
83          "http://people.darmstadt.netsurf.de/Gerd.Stolpmann/download">
84
85
86 <!-- SPECIFIC -->
87
88 <!ENTITY release.findlib
89          "SOME-VERSION">
90
91 <!ENTITY url.findlib-download
92          "&url.gps-ocaml-download;/findlib-&release.findlib;.tar.gz">
93
94 <!ENTITY url.findlib-project
95          "&url.gps-ocaml-projects;/findlib/">
96
97 <!ENTITY url.findlib-manual
98          "&url.gps-ocaml-projects;/findlib/">
99
100
101
102 <!ENTITY release.markup
103          "SOME-VERSION">
104
105 <!ENTITY url.markup-download    
106          "&url.gps-ocaml-download;/markup-&release.markup;.tar.gz">
107
108 <!ENTITY url.markup-project
109          "&url.gps-ocaml-projects;/markup">
110
111 <!ENTITY url.markup-manual
112          "&url.gps-ocaml-projects;/markup/manual">
113
114
115 <!-- ************************************************************ -->
116 <!-- MAIL URLs                                                    -->
117 <!-- ************************************************************ -->
118
119 <!ENTITY person.gps '<a href="mailto:&person.gps.mail;">Gerd Stolpmann</a>'>
120
121 <!ENTITY person.gps.mail
122          "Gerd.Stolpmann@darmstadt.netsurf.de">
123