|
36ef5877
|
2017-08-28T17:02:30
|
|
bump version
|
|
|
957f1618
|
2017-08-28T16:58:26
|
|
update makefiles
|
|
|
afedcd89
|
2017-08-28T16:28:59
|
|
fix docs creation
|
|
|
504b3cbd
|
2017-08-25T13:58:58
|
|
add primality figure to doc
|
|
|
8a6a892c
|
2017-08-25T13:00:05
|
|
fix manual creation
|
|
|
7cc18ffd
|
2017-08-25T12:59:22
|
|
rename/move some files; fix some stuff regarding this
|
|
|
141a9893
|
2017-05-10T11:37:48
|
|
fixup install and clean
|
|
|
ddddcf2e
|
2017-05-09T14:01:11
|
|
move all documentation to doc/
|