5 commits

Author	SHA1	Message	Date
Michael Raskin	29cd3206f2	Adding ised ... svn path=/nixpkgs/trunk/; revision=25331	2011-01-01 20:28:38 +00:00
Michael Raskin	64ed7e705d	Adding Satallax prover ... svn path=/nixpkgs/trunk/; revision=24963	2010-12-03 11:26:34 +00:00
Michael Raskin	5e32f98f5c	Recursive sourceInfo is more convenient ... svn path=/nixpkgs/trunk/; revision=23868	2010-09-20 07:48:17 +00:00
Michael Raskin	3039709cd6	Update the currently used autocallable template to make it usable with probable future autoupdater.. ... svn path=/nixpkgs/trunk/; revision=23297	2010-08-20 21:55:36 +00:00
Michael Raskin	558251da4a	Adding golly (a cellular automata program) ... svn path=/nixpkgs/trunk/; revision=22391	2010-06-23 07:41:17 +00:00