← 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: Matt Giuca
  • Date: 2009-04-22 04:56:58 UTC
  • Revision ID: matt.giuca@gmail.com-20090422045658-nnfepg0902n3mwtq
ivle.makeuser: Fixed odd code which would create the home directory, then
    immediately clobber it by restoring the backup.
    This broke in Python 2.6 because the behaviour of shutil.move changed.
    (Commented).

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