Michael Raskin c86efaec81 Added E authomated theorem prover and script eproof-tptp for TPTP syntax. ... svn path=/nixpkgs/trunk/; revision=9418		2007-10-07 13:37:08 +00:00
..
applications	bump to 2.2.1	2007-10-03 15:38:19 +00:00
build-support	Options for kernel and checker for configuration.nix	2007-09-25 19:03:07 +00:00
configs/etc	d'oh, don't actually gzip it	2006-03-08 19:25:44 +00:00
data	* bakoma-ttf: TrueType versions of the Computer Modern and AMS TeX Fonts.	2007-10-03 16:10:22 +00:00
desktops	* KDE 3.5.7.	2007-09-21 13:07:25 +00:00
development	FPC version bump	2007-10-04 19:18:31 +00:00
games	* Rewrite all the SourceForge URLs to mirror://sourceforge/.	2007-08-27 13:01:33 +00:00
lib	Uncommented mkDerivationByName. Now it doesn't break everything	2007-10-06 18:17:47 +00:00
misc	jack added - compiles - haven't done any testing yet	2007-10-03 22:38:09 +00:00
os-specific/linux	Some corrections to 2.6.23-rc8; builds now	2007-09-28 20:34:48 +00:00
servers	* Fixed some more URLs.	2007-09-11 11:15:37 +00:00
shells	* Fix a bunch of URLs.	2007-09-11 10:15:07 +00:00
stdenv	Thanks urkud for pointing me to the wrong implementation of PATH_DELIMITER - fixed	2007-09-20 21:06:26 +00:00
test	* Moved hsqldb.	2007-09-11 11:06:31 +00:00
tools	Added E authomated theorem prover and script eproof-tptp for TPTP syntax.	2007-10-07 13:37:08 +00:00
top-level	Added E authomated theorem prover and script eproof-tptp for TPTP syntax.	2007-10-07 13:37:08 +00:00