Age | Commit message (Expand) | Author |
---|---|---|
2016-10-07 | Added a big chunk of documentation. +small fixes | skachano |
2016-03-21 | Merge of trunk Witness feature + add witness in package top list | vrouvrea |
2016-02-16 | Moved the doc file + changed notations in Witness_complex.h | skachano |