make a nice KAT demo in github like JOBAD has about kat HOT 6 CLOSED

There is a demo at http://kwarc.github.io/KAT/ I am not sure how up to date it is.

from kat.

actually, this URL fails for me.

from kat.

For me it redirects to http://kwarc.github.io/KAT/test/index.html

from kat.

now it does too. But we need to have a nice way of keeping it up to date and mention it in the documentation.

from kat.

git checkout gh-pages
git merge master --no-commit
cp Makefile.in Makefile
make clean
make all
git add -A .
git commit
git push

should work.

from kat.

Just updated the demo. I will soon add the manual as a link there as well.

from kat.