]>
description | Library for Automated Deduction Research |
last change | Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000) |
URL | git://git.pld-linux.org/packages/LADR.git |
ssh://git@git.pld-linux.org/packages/LADR.git |
2012-06-24 | Jan Rękorajski | - no parallel build master auto/th/LADR-2009_02A-1 | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - rel 1 | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - builds | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - from debian: | commit | commitdiff | tree | snapshot |
2012-06-24 | Jan Rękorajski | - initial revision | commit | commitdiff | tree | snapshot |
11 years ago | auto/th/LADR-2009_02A-1 | | commit | shortlog | log |
11 years ago | master | shortlog | log | tree |