Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 6ca10b3

Browse files
clarusclarus
committed
Documentation for all the versions
1 parent 1beb4c6 commit 6ca10b3

File tree

109 files changed

+23885
-223
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

109 files changed

+23885
-223
lines changed

‎doc/evaluate/1.0.0/Io.Evaluate.html‎

Lines changed: 79 additions & 0 deletions
Large diffs are not rendered by default.

‎doc/evaluate/1.0.0/coqdoc.css‎

Lines changed: 329 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,329 @@
1+
body { padding: 0px 0px;
2+
margin: 0px 0px;
3+
background-color: white }
4+
5+
#page { display: block;
6+
padding: 0px;
7+
margin: 0px;
8+
padding-bottom: 10px; }
9+
10+
#header { display: block;
11+
position: relative;
12+
padding: 0;
13+
margin: 0;
14+
vertical-align: middle;
15+
border-bottom-style: solid;
16+
border-width: thin }
17+
18+
#header h1 { padding: 0;
19+
margin: 0;}
20+
21+
22+
/* Contents */
23+
24+
#main{ display: block;
25+
padding: 10px;
26+
font-family: sans-serif;
27+
font-size: 100%;
28+
line-height: 100% }
29+
30+
#main h1 { line-height: 95% } /* allow for multi-line headers */
31+
32+
#main a.idref:visited {color : #416DFF; text-decoration : none; }
33+
#main a.idref:link {color : #416DFF; text-decoration : none; }
34+
#main a.idref:hover {text-decoration : none; }
35+
#main a.idref:active {text-decoration : none; }
36+
37+
#main a.modref:visited {color : #416DFF; text-decoration : none; }
38+
#main a.modref:link {color : #416DFF; text-decoration : none; }
39+
#main a.modref:hover {text-decoration : none; }
40+
#main a.modref:active {text-decoration : none; }
41+
42+
#main .keyword { color : #cf1d1d }
43+
#main { color: black }
44+
45+
.section { background-color: rgb(60%,60%,100%);
46+
padding-top: 13px;
47+
padding-bottom: 13px;
48+
padding-left: 3px;
49+
margin-top: 5px;
50+
margin-bottom: 5px;
51+
font-size : 175% }
52+
53+
h2.section { background-color: rgb(80%,80%,100%);
54+
padding-left: 3px;
55+
padding-top: 12px;
56+
padding-bottom: 10px;
57+
font-size : 130% }
58+
59+
h3.section { background-color: rgb(90%,90%,100%);
60+
padding-left: 3px;
61+
padding-top: 7px;
62+
padding-bottom: 7px;
63+
font-size : 115% }
64+
65+
h4.section {
66+
/*
67+
background-color: rgb(80%,80%,80%);
68+
max-width: 20em;
69+
padding-left: 5px;
70+
padding-top: 5px;
71+
padding-bottom: 5px;
72+
*/
73+
background-color: white;
74+
padding-left: 0px;
75+
padding-top: 0px;
76+
padding-bottom: 0px;
77+
font-size : 100%;
78+
font-weight : bold;
79+
text-decoration : underline;
80+
}
81+
82+
#main .doc { margin: 0px;
83+
font-family: sans-serif;
84+
font-size: 100%;
85+
line-height: 125%;
86+
max-width: 40em;
87+
color: black;
88+
padding: 10px;
89+
background-color: #90bdff }
90+
91+
.inlinecode {
92+
display: inline;
93+
/* font-size: 125%; */
94+
color: #666666;
95+
font-family: monospace }
96+
97+
.doc .inlinecode {
98+
display: inline;
99+
font-size: 120%;
100+
color: rgb(30%,30%,70%);
101+
font-family: monospace }
102+
103+
.doc .inlinecode .id {
104+
color: rgb(30%,30%,70%);
105+
}
106+
107+
.inlinecodenm {
108+
display: inline;
109+
color: #444444;
110+
}
111+
112+
.doc .code {
113+
display: inline;
114+
font-size: 120%;
115+
color: rgb(30%,30%,70%);
116+
font-family: monospace }
117+
118+
.comment {
119+
display: inline;
120+
font-family: monospace;
121+
color: rgb(50%,50%,80%);
122+
}
123+
124+
.code {
125+
display: block;
126+
/* padding-left: 15px; */
127+
font-size: 110%;
128+
font-family: monospace;
129+
}
130+
131+
table.infrule {
132+
border: 0px;
133+
margin-left: 50px;
134+
margin-top: 10px;
135+
margin-bottom: 10px;
136+
}
137+
138+
td.infrule {
139+
font-family: monospace;
140+
text-align: center;
141+
/* color: rgb(35%,35%,70%); */
142+
padding: 0px;
143+
line-height: 100%;
144+
}
145+
146+
tr.infrulemiddle hr {
147+
margin: 1px 0 1px 0;
148+
}
149+
150+
.infrulenamecol {
151+
color: rgb(60%,60%,60%);
152+
font-size: 80%;
153+
padding-left: 1em;
154+
padding-bottom: 0.1em
155+
}
156+
157+
/* Pied de page */
158+
159+
#footer { font-size: 65%;
160+
font-family: sans-serif; }
161+
162+
/* Identifiers: <span class="id" title="...">) */
163+
164+
.id { display: inline; }
165+
166+
.id[title="constructor"] {
167+
color: rgb(60%,0%,0%);
168+
}
169+
170+
.id[title="var"] {
171+
color: rgb(40%,0%,40%);
172+
}
173+
174+
.id[title="variable"] {
175+
color: rgb(40%,0%,40%);
176+
}
177+
178+
.id[title="definition"] {
179+
color: rgb(0%,40%,0%);
180+
}
181+
182+
.id[title="abbreviation"] {
183+
color: rgb(0%,40%,0%);
184+
}
185+
186+
.id[title="lemma"] {
187+
color: rgb(0%,40%,0%);
188+
}
189+
190+
.id[title="instance"] {
191+
color: rgb(0%,40%,0%);
192+
}
193+
194+
.id[title="projection"] {
195+
color: rgb(0%,40%,0%);
196+
}
197+
198+
.id[title="method"] {
199+
color: rgb(0%,40%,0%);
200+
}
201+
202+
.id[title="inductive"] {
203+
color: rgb(0%,0%,80%);
204+
}
205+
206+
.id[title="record"] {
207+
color: rgb(0%,0%,80%);
208+
}
209+
210+
.id[title="class"] {
211+
color: rgb(0%,0%,80%);
212+
}
213+
214+
.id[title="keyword"] {
215+
color : #cf1d1d;
216+
/* color: black; */
217+
}
218+
219+
/* Deprecated rules using the 'type' attribute of <span> (not xhtml valid) */
220+
221+
.id[type="constructor"] {
222+
color: rgb(60%,0%,0%);
223+
}
224+
225+
.id[type="var"] {
226+
color: rgb(40%,0%,40%);
227+
}
228+
229+
.id[type="variable"] {
230+
color: rgb(40%,0%,40%);
231+
}
232+
233+
.id[type="definition"] {
234+
color: rgb(0%,40%,0%);
235+
}
236+
237+
.id[type="abbreviation"] {
238+
color: rgb(0%,40%,0%);
239+
}
240+
241+
.id[type="lemma"] {
242+
color: rgb(0%,40%,0%);
243+
}
244+
245+
.id[type="instance"] {
246+
color: rgb(0%,40%,0%);
247+
}
248+
249+
.id[type="projection"] {
250+
color: rgb(0%,40%,0%);
251+
}
252+
253+
.id[type="method"] {
254+
color: rgb(0%,40%,0%);
255+
}
256+
257+
.id[type="inductive"] {
258+
color: rgb(0%,0%,80%);
259+
}
260+
261+
.id[type="record"] {
262+
color: rgb(0%,0%,80%);
263+
}
264+
265+
.id[type="class"] {
266+
color: rgb(0%,0%,80%);
267+
}
268+
269+
.id[type="keyword"] {
270+
color : #cf1d1d;
271+
/* color: black; */
272+
}
273+
274+
.inlinecode .id {
275+
color: rgb(0%,0%,0%);
276+
}
277+
278+
279+
/* TOC */
280+
281+
#toc h2 {
282+
padding: 10px;
283+
background-color: rgb(60%,60%,100%);
284+
}
285+
286+
#toc li {
287+
padding-bottom: 8px;
288+
}
289+
290+
/* Index */
291+
292+
#index {
293+
margin: 0;
294+
padding: 0;
295+
width: 100%;
296+
}
297+
298+
#index #frontispiece {
299+
margin: 1em auto;
300+
padding: 1em;
301+
width: 60%;
302+
}
303+
304+
.booktitle { font-size : 140% }
305+
.authors { font-size : 90%;
306+
line-height: 115%; }
307+
.moreauthors { font-size : 60% }
308+
309+
#index #entrance {
310+
text-align: center;
311+
}
312+
313+
#index #entrance .spacer {
314+
margin: 0 30px 0 30px;
315+
}
316+
317+
#index #footer {
318+
position: absolute;
319+
bottom: 0;
320+
}
321+
322+
.paragraph {
323+
height: 0.75em;
324+
}
325+
326+
ul.doclist {
327+
margin-top: 0em;
328+
margin-bottom: 0em;
329+
}

0 commit comments

Comments
 (0)