git.pld-linux.org Git - packages/LADR.git/search

]> git.pld-linux.org Git - packages/LADR.git/search

projects / packages / LADR.git / search

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

2012-06-24	Jan Rękorajski	- from debian:	commit \| commitdiff \| tree
2012-06-24	Jan Rękorajski	- initial revision	commit \| commitdiff \| tree

Library for Automated Deduction Research

This page took 0.061741 seconds and 3 git commands to generate.