11 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Patrizio Bekerle	b443664675	added checking for invalid characters in the identifier	2017-05-16 19:00:14 +02:00
Patrizio Bekerle	2b7735ff59	minor text change	2017-05-16 17:41:57 +02:00
Patrizio Bekerle	7628986b02	added documentation link	2017-05-16 16:38:02 +02:00
Patrizio Bekerle	c2d2ee361c	renamed example script	2017-05-16 16:33:15 +02:00
Patrizio Bekerle	4355b9d6fd	added a travis badge	2017-05-16 16:31:25 +02:00
Patrizio Bekerle	935f04d87e	added tests and travis	2017-05-16 16:24:30 +02:00
Patrizio Bekerle	1545a4c8a6	added an example scrip	2017-05-16 15:52:33 +02:00
Patrizio Bekerle	2c9569282a	tried to fix the json	2017-05-15 17:58:13 +02:00
Patrizio Bekerle	8b02b4d0a2	added the paste-latex-image script	2017-05-15 15:31:13 +02:00
Patrizio Bekerle	1413ab5b14	added the github-header script	2017-05-15 15:20:14 +02:00
Patrizio Bekerle	f22e2d2ceb	Initial commit	2017-05-15 14:52:23 +02:00