| .. |
|
.dir-locals.el.in
|
org: add a new code example
|
2015-06-10 23:39:38 +02:00 |
|
.gitignore
|
More files to ignore
|
2015-02-26 17:30:02 +01:00 |
|
autfilt.org
|
randaut: rename -S as -Q for consistency
|
2015-06-01 09:20:52 +02:00 |
|
csv.org
|
org: declare utf8 everwhere and fix some typos
|
2015-01-25 12:03:15 +01:00 |
|
dstar2tgba.org
|
org: uses nice dot arrows
|
2015-03-26 09:39:06 +01:00 |
|
g++wrap.in
|
org: Update tut01
|
2015-06-05 23:45:09 +02:00 |
|
genltl.org
|
org: declare utf8 everwhere and fix some typos
|
2015-01-25 12:03:15 +01:00 |
|
hoa.org
|
org: document HOA handling for missing initial states
|
2015-06-02 09:34:44 +02:00 |
|
index.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
init.el.in
|
org: add a new code example
|
2015-06-10 23:39:38 +02:00 |
|
install.org
|
* doc/org/install.org: Do not use {{{LASTRELEASE}}} in <code>.
|
2015-06-16 20:25:26 +02:00 |
|
ioltl.org
|
org: document -0
|
2015-05-11 19:53:41 +02:00 |
|
ltl2tgba.org
|
postproc: add a SBAcc option
|
2015-05-14 21:05:12 +02:00 |
|
ltl2tgta.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
ltlcross.org
|
bin: generalized shorthands for ltldo and ltlcross
|
2015-06-02 18:22:55 +02:00 |
|
ltldo.org
|
bin: Update default options of ltl3dra
|
2015-03-30 21:57:04 +02:00 |
|
ltlfilt.org
|
ltlfilt: add a --define option
|
2015-04-22 16:47:01 +02:00 |
|
ltlgrind.org
|
org: declare utf8 everwhere and fix some typos
|
2015-01-25 12:03:15 +01:00 |
|
oaut.org
|
random: fix rounding in barand()
|
2015-06-01 19:54:51 +02:00 |
|
randaut.org
|
randaut: add a --colored option
|
2015-06-01 21:56:39 +02:00 |
|
randltl.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
satmin.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
satmin.tex
|
org: document SAT-based minimization
|
2013-09-16 08:39:06 +02:00 |
|
setup.org
|
org: add installation instructions
|
2015-06-07 23:59:08 +02:00 |
|
spot.css
|
org: use a white background and ship the CSS
|
2015-01-07 19:35:30 +01:00 |
|
syntax.css
|
org: batch-generate userdoc/ and distribute it
|
2013-04-09 15:05:56 +02:00 |
|
tools.org
|
org: add installation instructions
|
2015-06-07 23:59:08 +02:00 |
|
tut.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
tut01.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
tut02.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
tut10.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
tut20.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
tut21.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
|
tut22.org
|
org: add utf-8 markers
|
2015-06-14 23:40:34 +02:00 |
