← Back to branch summary

~azzar1/unity/add-show-desktop-key

« back to all changes in this revision

Viewing changes to ivle/worksheet/definitions.txt

  • Committer: mattgiuca
  • Date: 2007-12-19 06:01:34 UTC
  • Revision ID: svn-v3-trunk0:2b9c9e99-6f39-0410-b283-7f802c844ae2:trunk:85
common/studpath.py: Added url_to_jailpaths.
apps/server: Rewrote parts to now get the UserID and paths relative to jail,
    and pass those off to the interpreter. The interpreter is no longer
    python, but one relative to IVLE (our trampoline). (Currently a test one).
Added bin/tramptest trampoline, called by server temporarily. Just prints out
    its arguments.

Show diffs side-by-side

added added

removed removed

Lines of Context:
ivle/worksheet/definitions.txt
1
 
.. -*- mode: rst -*-
2
 
 
3
 
.. ifndef:: definitions
4
 
 
5
 
  .. def:: definitions
6
 
 
7
 
  .. |version| replace:: 2.0b4
8
 
  .. |copyrightinfo| replace:: 2001-2009 the authors
9
 
  .. |license| replace:: Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 United States License
10
 
 
11
 
  .. CAP abbreviations (map to small caps in LaTeX)
12
 
  
13
 
  .. |CFG| replace:: CFG
14
 
  .. |DRT| replace:: DRT
15
 
  .. |DRS| replace:: DRS
16
 
  .. |CoNLL| replace:: CoNLL
17
 
  .. |CYK| replace:: CYK
18
 
  .. |FOL| replace:: first-order logic
19
 
  .. |FSRL| replace:: FSRL
20
 
  .. |HTML| replace:: HTML
21
 
  .. |IDLE| replace:: IDLE
22
 
  .. |LF| replace:: LF
23
 
  .. |NE|  replace:: NE
24
 
  .. |NLP|  replace:: NLP
25
 
  .. |NLTK| replace:: NLTK
26
 
  .. |URL| replace:: URL
27
 
  .. |WFST| replace:: WFST
28
 
  .. |XML| replace:: XML
29
 
  
30
 
  .. Other candidates for global consistency
31
 
  
32
 
  .. |fol| replace:: first-order logic
33
 
  .. |Fol| replace:: First-order logic
34
 
  .. PTB removed since it must be indexed
35
 
  .. WN removed since it must be indexed
36
 
  .. |TRY| replace:: **Your Turn:**
37
 
  .. |IMPORTANT| replace:: **Important:**
38
 
  
39
 
  .. misc & punctuation
40
 
  .. cdots was unicode U+22EF but not working
41
 
  .. |dots| unicode:: U+2026 .. horizontal dots, ellipsis
42
 
  .. |copy| unicode:: 0xA9 .. copyright sign
43
 
  .. |dot| unicode:: U+2022 .. bullet
44
 
  .. |mdash| unicode:: U+02014 .. em dash (for between words)
45
 
  .. |ndash| unicode:: U+02013 .. en dash (for numeric ranges)
46
 
  .. |tilde| unicode:: U+007E
47
 
  
48
 
  
49
 
  .. exercise meta-tags
50
 
  
51
 
  .. |easy| unicode:: U+263C .. sun
52
 
  .. |soso| unicode:: U+25D1 .. "moon"
53
 
  .. |hard| unicode:: U+2605 .. black star
54
 
  .. |talk| unicode:: U+263A .. smiley face
55
 
 
56
 
  .. |blackstar| unicode:: U+2605
57
 
  .. |whitestar| unicode:: U+2606
58
 
  .. |blacksmiley| unicode:: U+263B
59
 
  .. |blackdiamond| unicode:: U+25C6
60
 
 
61
 
  .. Unicode tests
62
 
  .. |test0| unicode:: U+2690
63
 
  .. |test1| unicode:: U+2691
64
 
  .. |test2| unicode:: U+2692
65
 
  .. |test3| unicode:: U+2693
66
 
  .. |test4| unicode:: U+2694
67
 
  .. |test5| unicode:: U+2695
68
 
  .. |test6| unicode:: U+2696
69
 
  .. |test7| unicode:: U+2697
70
 
  .. |test8| unicode:: U+2698
71
 
  .. |test9| unicode:: U+2699
72
 
  .. |testa| unicode:: U+269A
73
 
  .. |testb| unicode:: U+269B
74
 
  .. |testc| unicode:: U+269C
75
 
  .. |testd| unicode:: U+269D
76
 
  .. |teste| unicode:: U+269E
77
 
  .. |testf| unicode:: U+269F
78
 
  
79
 
  .. phonetic
80
 
  .. |ae| unicode:: U+00E6 ..  small ae digraph
81
 
  .. |schwa| unicode:: U+0259 ..  schwa
82
 
  .. |eth| unicode:: U+00F0 ..  eth
83
 
  .. |length| unicode:: U+02D0 ..  length
84
 
  
85
 
  .. misc
86
 
  .. |aumlaut| unicode:: U+00E4 .. a umlaut
87
 
  .. |eacute| unicode:: U+00E9 .. e acute
88
 
  .. |eogonek| unicode:: U+1119 .. e ogonek
89
 
  .. |ncaron| unicode:: U+0148 .. n caron
90
 
  .. |ntilde| unicode:: U+00F1 .. n tilde
91
 
  .. |odacute| unicode:: U+0151 .. o double acute
92
 
  .. |oslash| unicode:: U+00F8 .. o slash
93
 
  .. |uumlaut| unicode:: U+00FC .. u umlaut
94
 
  .. |ecircumflex| unicode:: U+00EA .. e circumflex
95
 
  .. |space| unicode:: U+23E1 .. bottom tortoise shell bracket
96
 
 
97
 
  .. used in Unicode section
98
 
  .. |nacute| unicode:: U+0144 
99
 
  .. |oacute| unicode:: U+00f3
100
 
  .. |sacute| unicode:: U+015b
101
 
  .. |Sacute| unicode:: U+015a
102
 
  .. |aogonek| unicode:: U+0105
103
 
  .. |lstroke| unicode:: U+0142
104
 
 
105
 
  .. |CJK-4EBA| unicode:: U+4eba
106
 
  .. |CJK-4EE5| unicode:: U+4ee5
107
 
  .. |CJK-732B| unicode:: U+732b
108
 
  .. |CJK-751A| unicode:: U+751a
109
 
  .. |CJK-81F3| unicode:: U+81f3
110
 
  .. |CJK-8D35| unicode:: U+8d35
111
 
  
112
 
  .. arrows
113
 
  .. |DoubleRightArrow| unicode:: U+021D2 .. rightwards double arrow
114
 
  .. |rarr| unicode:: U+2192 .. right arrow
115
 
  .. |rdarr| unicode:: U+21D2 .. right double arrow
116
 
  .. |reduce| unicode:: U+219D .. curly right arrow
117
 
  .. |lrarr| unicode:: U+2194 .. left-right arrow
118
 
  .. |larr| unicode:: U+2190 .. left arrow
119
 
  
120
 
  
121
 
  .. unification stuff
122
 
  .. |SquareIntersectionX| unicode:: U+02293 .. square cap
123
 
  .. |SquareSubsetEqual| unicode:: U+02291 .. square image of or equal to
124
 
  .. |SquareSubset| unicode:: U+0228F .. square image of
125
 
  .. |SquareSupersetEqual| unicode:: U+02292 .. square original of or equal to
126
 
  .. |SquareSuperset| unicode:: U+02290 .. square original of
127
 
  .. |SquareUnion| unicode:: U+02294 .. square cup   
128
 
 
129
 
  .. Math & Logic
130
 
  .. |tf| replace:: {*True*, *False*}
131
 
  
132
 
  .. |exists| unicode:: U+2203 .. existential quantifier
133
 
  .. |forall| unicode:: U+2200 .. universal quantifier
134
 
  .. |geq| unicode:: U+2265 .. greater than or equal
135
 
  .. |iff| unicode:: U+2261 .. triple bars
136
 
  .. |langle| unicode:: U+02329 .. left angle-bracket
137
 
  .. |leq| unicode:: U+2264 .. less than or equals
138
 
  .. |l| unicode:: U+00AB .. left chevron
139
 
  .. |neg| unicode:: U+00AC .. negation symbol
140
 
  .. |rangle| unicode:: U+0232A .. right angle-bracket
141
 
  .. |r| unicode:: U+00BB .. right chevron
142
 
  .. |times| unicode:: U+00D7 .. multiplication
143
 
  .. |vee| unicode:: U+2228 .. or
144
 
  .. |wedge| unicode:: U+2227 .. and
145
 
  .. |prod| replace:: Prod
146
 
  
147
 
  .. sets
148
 
  .. |cup| unicode:: U+0222A .. union 
149
 
  .. |diff| unicode:: U+2212 .. set-theoretical complement
150
 
  .. |element| unicode:: U+2208 .. set-theoretical membership
151
 
  .. |empty| unicode:: U+2205 .. empty set
152
 
  .. |intersect| unicode:: U+2229 .. set-theoretical intersection
153
 
  .. |in| unicode:: U+2208 .. element of
154
 
  .. |mapsto| unicode:: U+2192 .. maps to
155
 
  .. |nelement| unicode:: U+2209 .. set-theoretical membership
156
 
  .. |pipe| unicode:: U+2223 .. vertical pipe
157
 
  .. |power| unicode:: U+2118 .. powerset
158
 
  .. |propsubset| unicode:: U+2282 .. proper subset
159
 
  .. |subset| unicode:: U+2286 .. subset
160
 
  .. |union| unicode:: U+222A .. set-theoretical union
161
 
  
162
 
  
163
 
  .. Greek
164
 
  .. |alpha| unicode:: U+03B1
165
 
  .. |beta| unicode:: U+03B2
166
 
  .. |gamma| unicode:: U+03B3
167
 
  .. |Gamma| unicode:: U+0393
168
 
  .. |kappaX| unicode:: U+03BA
169
 
  .. |kappa| replace:: K
170
 
  .. |lambda| unicode:: U+03BB
171
 
  .. |mu| unicode:: U+03BC 
172
 
  .. |pi| unicode:: U+03C0 
173
 
  .. |phi| unicode:: U+03C6
174
 
  .. |psi| unicode:: U+03C8
175
 
  .. |sigma| unicode:: U+03C3
176
 
  .. |tau| unicode:: U+03C4
177
 
  .. |rho| unicode:: U+03C1
178
 
  .. |Sigma| unicode:: U+03A3
179
 
  .. |sum| unicode:: U+03A3
180
 
  .. |Omega| unicode:: U+03A9
181
 
  
182
 
  .. Chinese
183
 
  .. |ai4| unicode:: U+7231 .. zh ai (love)
184
 
  .. |guo3| unicode:: U+56FD .. zh guo (country)
185
 
  .. |ren2| unicode:: U+4EBA .. zh ren (person)
186
 
  
187
 
  .. URLs
188
 
  .. |StevenBird| replace:: `Steven Bird <http://www.csse.unimelb.edu.au/~sb/>`__
189
 
  .. |EwanKlein| replace:: `Ewan Klein <http://www.ltg.ed.ac.uk/~ewan/>`__
190
 
  .. |EdwardLoper| replace:: `Edward Loper <http://www.cis.upenn.edu/~edloper/>`__
191
 
  .. |PYTHON-URL| replace:: ``http://python.org/``
192
 
  .. |PYTHON-DOCS| replace:: ``http://docs.python.org/``
193
 
  .. |NLTK-URL| replace:: ``http://www.nltk.org/``
194
 
  .. |NLTK-HOWTO-URL| replace:: ``http://www.nltk.org/howto``
195
 
  .. |OLAC-URL| replace:: ``http://www.language-archives.org/``
196
 
  
197
 
  .. Python example - a snippet of code in running text
198
 
  .. role:: py
199
 
     :class: python
200
 
  
201
 
  .. PlaceHolder example -  something that should be replaced by actual code
202
 
  .. role:: ph
203
 
     :class: placeholder
204
 
   
205
 
  .. Linguistic eXample - cited form in running text
206
 
  .. role:: lx
207
 
     :class: example
208
 
    
209
 
  .. Emphasized (more declarative than just using *)
210
 
  .. role:: em
211
 
     :class: emphasis
212
 
  
213
 
  .. Grammatical Category - e.g. NP and verb as technical terms
214
 
     .. role:: gc
215
 
        :class: category
216
 
    
217
 
  .. Math expression - e.g. especially for variables
218
 
  .. role:: math
219
 
     :class: math
220
 
  
221
 
  .. Textual Math expression - for words 'inside' a math environment
222
 
  .. role:: mathit
223
 
     :class: mathit
224
 
  
225
 
  .. Feature (or attribute)
226
 
  .. role:: feat
227
 
     :class: feature
228
 
  
229
 
  .. Raw LaTeX
230
 
  .. role:: raw-latex(raw)
231
 
     :format: latex
232
 
  
233
 
  .. Raw HTML
234
 
  .. role:: raw-html(raw)
235
 
     :format: html
236
 
  
237
 
  .. Feature-value
238
 
  .. role:: fval
239
 
     :class: fval
240
 
  
241
 
  .. Lexemes
242
 
  .. role:: lex
243
 
     :class: lex
244
 
  
245
 
  .. Replacements that rely on previous definitions :-)
246
 
  
247
 
  .. |nopar| replace:: :raw-latex:`{\noindent}`
248
 
  .. |seef| replace:: `see`:mathit:\ :sub:`f`
249
 
  .. |seeR| replace:: `see`:mathit:\ :sub:`R`
250
 
  .. |walkf| replace:: `walk`:mathit:\ :sub:`f`
251
 
  .. |walkR| replace:: `walk`:mathit:\ :sub:`R`
252
 
  
253
 
 
254
 
  .. |SquareIntersection| replace:: :raw-latex:`$\sqcap$`:raw-html:`&#8851;`
255