| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
lustrec 4 MB 4347ae0c over 6 years Teme Kahsai changes to horn

Latest revisions

# Date Author Comment
4347ae0c 10/13/2015 10:29 PM Teme Kahsai

changes to horn

9da827cb 10/08/2015 12:41 AM Teme Kahsai

adjusted the makefile

e41592cf 05/05/2015 09:38 PM Teme Kahsai

Bug fixed (454), more on travis

f9707d86 05/05/2015 06:55 AM lememta

build status

e2068500 05/05/2015 01:54 AM Teme Kahsai

first commit

View revisions

Also available in: Atom