Project

General

Profile

Statistics
| Branch: | Tag: | Revision:
Name Size Revision Age Author Comment
  autom4te.cache 822f31e1 about 8 years Teme Kahsai updating to onera version 30f766a:2016-12-04
  doc e2068500 almost 10 years Teme Kahsai first commit
  include 3b2bd83d about 8 years Teme Kahsai updating to onera version 30f766a:2016-12-04
  share bad9b6b2 almost 9 years Teme Kahsai Updated to onera_git commit version 9421e24
  src 822f31e1 about 8 years Teme Kahsai updating to onera version 30f766a:2016-12-04
  test 3b2bd83d about 8 years Teme Kahsai updating to onera version 30f766a:2016-12-04
.ocaml-config.sh 335 Bytes e548bb75 almost 10 years lememta smaller amount of compilers
.travis.yml 1.66 KB 14a93ef7 over 8 years Teme Kahsai fixing travis 2
AUTHORS 165 Bytes bad9b6b2 almost 9 years Teme Kahsai Updated to onera_git commit version 9421e24
LICENSE-LGPL.txt 25.8 KB e2068500 almost 10 years Teme Kahsai first commit
Makefile.in 2.47 KB 3b2bd83d about 8 years Teme Kahsai updating to onera version 30f766a:2016-12-04
README.md 678 Bytes 5573fee2 over 8 years Teme Kahsai new readme
TODO.org 1.13 KB e2068500 almost 10 years Teme Kahsai first commit
configure.ac 4.03 KB 3b2bd83d about 8 years Teme Kahsai updating to onera version 30f766a:2016-12-04
lustrec.odocl 623 Bytes e2068500 almost 10 years Teme Kahsai first commit
setup.ml 153 KB e2068500 almost 10 years Teme Kahsai first commit
svnignore 103 Bytes e2068500 almost 10 years Teme Kahsai first commit

Latest revisions

# Date Author Comment
822f31e1 12/08/2016 05:55 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

323c5b19 12/08/2016 05:46 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

3b2bd83d 12/08/2016 05:37 PM Teme Kahsai

updating to onera version 30f766a:2016-12-04

85a6f473 09/30/2016 06:41 PM Teme Kahsai

adding onera automata version

5573fee2 09/09/2016 07:29 PM Teme Kahsai

new readme

655bd8df 09/09/2016 07:25 PM Teme Kahsai

Merge pull request #1 from waffle-iron/master

waffle.io Badge

d01a6f46 09/09/2016 07:25 PM Making GitHub Delicious

add waffle.io badge

14a93ef7 06/15/2016 11:19 PM Teme Kahsai

fixing travis 2

6d7d1264 06/15/2016 10:05 PM Teme Kahsai

fixing travis 1

81f52764 06/15/2016 08:18 PM Teme Kahsai

fixing travis

View all revisions | View revisions

Also available in: Atom