25 Commits

Author	SHA1	Message	Date
Jip J. Dekker	e7c59ff79b	Prepare 0.8.1 release	2018-01-24 11:43:56 +11:00
Jip J. Dekker	c7584aeeda	Add elseif keyword ... Fixes #1	2018-01-24 11:43:49 +11:00
Jip J. Dekker	7707fa5690	Remove old linting package declaration	2017-11-29 15:54:24 +11:00
Jip J. Dekker	19bfdd6402	Prepare 0.8.0 release	2017-11-17 18:20:14 +11:00
Jip J. Dekker	4728e752d5	Remove linting functionality	2017-11-17 18:16:03 +11:00
Jip J. Dekker	fc961a9a21	Prepare 0.7.0 release	2017-11-16 15:11:08 +11:00
Jip J. Dekker	5ff2193335	Prepare 0.6.1 release	2017-06-17 23:03:09 +02:00
Jip J. Dekker	5513edcc31	Update repository URL	2017-06-17 23:02:42 +02:00
Jip J. Dekker	5acd954110	Prepare 0.6.0 release	2017-03-18 23:14:28 +01:00
Jip J. Dekker	44468f0833	Upgrade to Linter API v2	2017-03-18 23:13:08 +01:00
Jip J. Dekker	85a79d1e5a	Prepare 0.5.0 release	2016-01-21 15:45:04 +01:00
Jip J. Dekker	0961446628	Prepare 0.4.1 release	2016-01-18 22:29:34 +01:00
Jip J. Dekker	7bdeb7cd0b	Prepare 0.4.0 release	2016-01-10 23:53:27 +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	306bfa942e	Prepare 0.3.2 release	2016-01-10 23:44:05 +01:00
Jip J. Dekker	afcb9201c0	Prepare 0.3.1 release	2015-12-03 12:21:41 +01:00
Jip J. Dekker	36aa594f7d	Prepare 0.3.0 release	2015-12-02 18:59:01 +01:00
Jip J. Dekker	d847458d00	Prepare 0.2.0 release	2015-11-24 17:46:11 +01:00
Jip J. Dekker	cba724e840	Prepare 0.1.1 release	2015-11-20 11:33:28 +01:00
Jip J. Dekker	eb7eca6e9b	Prepare 0.1.0 release	2015-11-19 23:53:12 +01:00
Jip J. Dekker	c3a6cfc795	I should not change the version manually...	2015-11-19 23:53:06 +01:00
Jip J. Dekker	cae1e5e72e	Adds a screenshot of some highlighted code	2015-11-19 23:36:23 +01:00
Jip J. Dekker	2391bae3f2	Adds some text to the readme file	2015-11-19 23:09:33 +01:00
Jip J. Dekker	8f33ba2f2b	Updates the package file	2015-11-19 23:01:10 +01:00
Jip J. Dekker	7d4ad4f859	Blank atom package	2015-11-19 22:56:45 +01:00