Commit Graph

38 Commits

Author SHA1 Message Date
6889e97f47
Updated readme for release 3.1.0.
This adds a section about the new commands, updates out-of-date
references, and highlights the translator as the currently most
interesting component.
2017-11-16 18:24:27 +01:00
a31d8638e7
Fixed typos in documentation. 2017-10-28 17:30:41 +02:00
032fa14f61
Updated tagline to match plasp’s recently extended tool set. 2017-10-14 02:37:46 +02:00
9d906a195a
Fixed incorrectly labeled badges in readme file. 2017-06-19 16:07:44 +02:00
f4efb4f3d4
Improved command-line interface. 2016-11-29 02:05:01 +01:00
58e784408c
Fixed incorrect build status badge in readme. 2016-11-22 02:17:07 +01:00
8bab1e19cb
Made readme file sections and documentation more consistent. 2016-11-16 23:53:21 +01:00
e1e9efde25
Added contributor. 2016-11-14 17:11:05 +01:00
Patrick Lühne
dadb1801aa Minor formatting in readme file. 2016-11-04 16:12:05 +01:00
Patrick Lühne
2f6255a4e8 Added contributor. 2016-11-03 18:36:57 +01:00
e664fe8470 Updated readme file with new location of the meta encoding. 2016-08-30 14:28:29 +02:00
169c5ae8e9 Fixed typo. 2016-08-15 15:26:34 +02:00
d03638919a Added more detail to the command-line interface documentation. 2016-08-14 16:34:39 +02:00
f5d342a442 Minor formatting. 2016-08-14 16:33:11 +02:00
06cab2f098 Put command-line interface documentation in a separate documentation file. 2016-08-14 16:31:23 +02:00
9d67ae800d Put building instructions in a separate documentation file. 2016-08-14 16:27:43 +02:00
d2a1030320 Added link to output format to the readme file. 2016-08-14 16:23:28 +02:00
00688765fd Fixed typos in readme file. 2016-06-15 00:56:17 +02:00
52fee6a4c1 Made the language command-line option lowercase for consistency. 2016-06-14 18:42:29 +02:00
fcdd3bba2b Added command-line options to readme file. 2016-06-14 18:40:40 +02:00
b491efa9f4 Minor rephrasing. 2016-06-14 18:30:06 +02:00
44a20ca7e3 Updated usage information in the readme file. 2016-06-14 18:25:24 +02:00
f9463d629a Added Travis badge for develop branch to readme file. 2016-06-03 00:14:51 +02:00
6017cfe3d5 Removed version numbers from contributors to earlier versions. 2016-05-26 13:01:46 +02:00
2281967176 Added info about running the tests to the readme file. 2016-05-26 00:11:32 +02:00
7a8b562173 Fixed URLs in readme file. 2016-05-25 18:11:00 +02:00
0cbb3453bd Added version badge to readme file. 2016-05-25 18:04:49 +02:00
324c91a9aa Minor formatting in readme file. 2016-05-24 15:24:23 +02:00
fe08394d05 Extended readme file with Fast Downward usage information. 2016-05-24 12:53:09 +02:00
fd1ce50b35 Fixed typo. 2016-05-24 02:58:11 +02:00
d7e6d3cabf Added an example clingo call to usage notes in readme file. 2016-05-24 02:57:00 +02:00
52570d887f Added building information to readme file. 2016-05-24 02:51:33 +02:00
ffb300d804 Fixed typo in readme file. 2016-05-24 02:43:48 +02:00
62bfffa1b2 Fixed typo in readme file. 2016-05-24 02:43:03 +02:00
4a023f20e4 Added more details to the readme file. 2016-05-24 02:42:31 +02:00
a3e946fec8 Added build status image to readme file. 2016-05-20 22:24:24 +02:00
216d73f03d Extended readme file with authors of previous iterations. 2016-05-20 19:23:28 +02:00
3ddf942a12 Initial commit. 2016-05-20 15:29:24 +02:00