Menu
▾
▴
Tree [ee7d4c] master / apps / History
| File | Date | Author | Commit |
|---|---|---|---|
| test | 2014-09-06 |
Mikhail Levin
|
[63130c] fix build |
| common_prefixes.hpp | 2012-03-30 |
mlevin
|
[98033e] Merge branch 'dev' |
| find_ontologies.cpp | 2013-01-30 |
Mikhail Levin
|
[dc62ab] Merge branch 'dev' into python-api |
| jamfile.jam | 2015-01-12 |
Mikhail K. Levin
|
[579b5e] owlstats small app |
| owlstats.cpp | 2015-01-12 |
Mikhail K. Levin
|
[579b5e] owlstats small app |
| print_classes.cpp | 2014-10-16 |
Mikhail K. Levin
|
[87be51] make global variable any=Any() |
| print_triples.cpp | 2013-02-01 |
Mikhail Levin
|
[56a505] clean Triple struct |
| satisfiable.cpp | 2014-10-16 |
Mikhail K. Levin
|
[87be51] make global variable any=Any() |
| validate.cpp | 2013-05-31 |
Mikhail Levin
|
[647b0a] fix reasoner diagnostics |
