Michael Raskin 9d92fe013e Adding E-KRHyper theorem prover		2013-05-09 17:47:58 +04:00
..
applications	Adding E-KRHyper theorem prover	2013-05-09 17:47:58 +04:00
build-support	Add Fedora 18	2013-05-08 14:08:59 +02:00
data	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
desktops	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
development	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
games	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
lib	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
misc	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
os-specific	sysvtools: fix symlink when withoutInitTools = false	2013-05-09 15:15:04 +02:00
servers	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
shells
stdenv	mkDerivation: Allow direct access to passthru	2013-05-03 09:07:42 -04:00
test
tools	Revert Merge x-updates into master due to mesa bloat	2013-05-09 14:03:35 +02:00
top-level	Adding E-KRHyper theorem prover	2013-05-09 17:47:58 +04:00