Alexandre Duret-Lutz 750d352fb6 Fix many dead links. ... Also change http:// to https:// for url that would automatically redirect to the later. * doc/mainpage.dox, doc/org/dstar2tgba.org, doc/org/ltl2tgba.org, doc/org/ltlcross.org, doc/org/satmin.org, doc/org/tools.org, src/ltlvisit/dot.hh, src/misc/hashfunc.hh, wrap/python/ajax/trans.html: Here.		2015-07-17 17:55:15 +02:00
..
python	Fix many dead links.	2015-07-17 17:55:15 +02:00
.gitignore	Add .gitignore files	2008-03-14 16:59:32 +01:00
Makefile.am	Upgrade GPL v2+ to GPL v3+.	2012-10-12 22:05:18 +02:00