← 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-02-24 02:02:03 UTC
  • mto: This revision was merged to the branch mainline in revision 1119.
  • Revision ID: matt.giuca@gmail.com-20090224020203-aqdcjnsj6y7wl32o
Added a new look to the IVLE header bar. Mmmm... Web 2.0.
Added top-level directory image-source, containing SVG and script files for
    generating the images.
ivle/webapp/coremedia/images: Added 'chrome' directory containing the rendered
    images.
Modified ivle/webapp/base/ivle-headings.html and
    ivle/webapp/coremedia/ivle.css to support the new images.
    Note that the H1 and H2 at the top of the page are no longer displayed
    (and their custom styles have been removed). There is a heading image
    instead.

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