Next | Query returned 5 messages, browsing 1 to 10 | previous

History of commit frequency

CVS Commit History:


   2012-10-05 15:52:02 by Aleksej Saushev | Files touched by this commit (32)
Log message:
Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.
Mark packages that don't or might probably not have staged installation.
   2011-01-16 18:20:53 by Pouya Tafti | Files touched by this commit (6)
Log message:
Clean up patches and remove subshells.
   2011-01-08 13:36:33 by Aleksej Saushev | Files touched by this commit (1)
Log message:
Define TEST_TARGET.
   2011-01-08 13:32:05 by Aleksej Saushev | Files touched by this commit (1)
Log message:
Drop "local" category.
Remove USE_TOOLS, it shouldn't be needed.
Sort variables to follow documented style.
   2011-01-07 17:56:46 by Pouya Tafti | Files touched by this commit (11) | Imported package
Log message:
Import prover9-2009-11A as wip/prover9.

This package includes Prover9, an automated theorem prover
for first-order and equational logic, and Mace4, which
searches for finite models and counter examples.

Next | Query returned 5 messages, browsing 1 to 10 | previous