descriptionLibrary for Automated Deduction Research
last changeSun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
shortlog
2012-06-24 Jan Rękorajski- no parallel build master auto/th/LADR-2009_02A-1
2012-06-24 Jan Rękorajski- rel 1
2012-06-24 Jan Rękorajski- builds
2012-06-24 Jan Rękorajski- from debian:
2012-06-24 Jan Rękorajski- initial revision
tags
5 years ago auto/th/LADR-2009_02A-1
heads
5 years ago master
This page took 0.166481 seconds and 7 git commands to generate.