Jip J. Dekker
|
743a465d63
|
Adds disabling of linting
|
2016-01-18 21:18:55 +01:00 |
|
Jip J. Dekker
|
e2e9d97cfb
|
Adds the linter from linter-mzn to the package
|
2016-01-10 23:53:12 +01:00 |
|
Jip J. Dekker
|
c7209291ef
|
Adds changes to the changelog
|
2016-01-10 23:39:34 +01:00 |
|
Jip J. Dekker
|
55993efe15
|
Removes tab for the forall snippet
|
2015-12-03 12:21:28 +01:00 |
|
Jip J. Dekker
|
a1f2dc5208
|
Adds all changes to the changelog
|
2015-12-02 18:58:46 +01:00 |
|
Jip J. Dekker
|
b0293df96e
|
Adds function highlighting for all predicates defined in 2.0 docs
|
2015-12-02 18:24:20 +01:00 |
|
Jip J. Dekker
|
f888a580e0
|
Updates the changelog
|
2015-11-24 17:45:50 +01:00 |
|
Jip J. Dekker
|
30eac9cf19
|
Adds the basic first features to the changelog
|
2015-11-19 23:34:03 +01:00 |
|
Jip J. Dekker
|
7d4ad4f859
|
Blank atom package
|
2015-11-19 22:56:45 +01:00 |
|