|
|
b273b856d5
|
Update types and keywords
|
2023-02-20 14:41:49 +11:00 |
|
|
|
3080d3bd6c
|
Add @ as an escape for usage in other languages
For example to use in Minted
|
2019-12-03 12:07:02 +11:00 |
|
|
|
e2134fee64
|
Fix the .. operator
|
2019-12-03 11:20:28 +11:00 |
|
Jip J. Dekker
|
f8ae7d0628
|
Mark reserved identifiers as illegal
|
2018-02-10 16:54:04 +11:00 |
|
Jip J. Dekker
|
df43cb7130
|
Use more specific scope for illegal style
|
2018-02-07 17:20:33 +11:00 |
|
Jip J. Dekker
|
6bfbb284dd
|
Update headers
|
2018-02-07 16:50:02 +11:00 |
|
Jip J. Dekker
|
294a09dd8e
|
Require the xor operator to be a seperate word
|
2018-02-07 16:32:26 +11:00 |
|
Jip J. Dekker
|
63c010c300
|
Add initial README
|
2018-02-07 16:26:04 +11:00 |
|
Jip J. Dekker
|
ca604e18cf
|
Add initial version of the MiniZinc syntax
|
2018-02-07 16:12:10 +11:00 |
|
Jip J. Dekker
|
07a19c2b10
|
Add styles to use
|
2018-02-07 14:04:55 +11:00 |
|
Jip J. Dekker
|
ca3213ad42
|
Add constant for identifiers
|
2018-02-05 17:38:30 +11:00 |
|
Jip J. Dekker
|
eeef78c5ea
|
Fix the grouping of the floating point regex
|
2018-02-05 17:38:13 +11:00 |
|
Jip J. Dekker
|
619b8b57af
|
Add numeric patterns
|
2018-02-05 17:20:45 +11:00 |
|
Jip J. Dekker
|
231b09ed29
|
Fix indentation
|
2018-02-05 16:43:01 +11:00 |
|
Jip J. Dekker
|
a7c15c3049
|
Change name
|
2018-02-05 16:05:30 +11:00 |
|
Jip J. Dekker
|
f9af79686d
|
Add Iro sample
|
2018-02-05 16:02:00 +11:00 |
|
