From d23931f3a448fddc43d81f774fa83797729910e7 Mon Sep 17 00:00:00 2001 From: Eelco Dolstra Date: Tue, 8 Apr 2014 16:10:25 +0200 Subject: [PATCH] Remove redundant stuff --- doc/manual/introduction.xml | 64 ------------------------------------- 1 file changed, 64 deletions(-) diff --git a/doc/manual/introduction.xml b/doc/manual/introduction.xml index 21b1df156..e0300dc86 100644 --- a/doc/manual/introduction.xml +++ b/doc/manual/introduction.xml @@ -254,33 +254,6 @@ xlink:href="http://nixos.org/">NixOS homepage. -
About us - -Nix was originally developed at the Department of Information and -Computing Sciences, Utrecht University by the TraCE -project (2003-2008). The project was funded by the Software -Engineering Research Program Jacquard to improve the -support for variability in software systems. Further funding was -provided by the NIRICT LaQuSo Build Farm project. Development is -currently supported by LogicBlox. - -
- - -
About this manual - -This manual tells you how to install and use Nix and how to -write Nix expressions for software not already in the Nix Packages -collection. It also discusses some advanced topics, such as setting -up distributed multi-platform building. - -
- -
License Nix is free software; you can redistribute it and/or modify it @@ -297,41 +270,4 @@ Lesser General Public License for more details.
-
More information - -Some background information on Nix can be found in a number of -papers. The ICSE 2004 paper Imposing -a Memory Management Discipline on Software Deployment -discusses the hashing mechanism used to ensure reliable dependency -identification and non-interference between different versions and -variants of packages. The LISA 2004 paper Nix: -A Safe and Policy-Free System for Software Deployment -gives a more general discussion of Nix from a system-administration -perspective. The CBSE 2005 paper Efficient -Upgrading in a Purely Functional Component Deployment Model - is about transparent patch deployment in Nix. The SCM-12 -paper -Service Configuration Management shows how services (e.g., -web servers) can be deployed and managed through Nix. An overview of -NixOS is given in the JFP article NixOS: -A Purely Functional Linux Distribution. The Nix homepage -has an up-to-date -list of Nix-related papers. - -Nix is the subject of Eelco Dolstra’s PhD thesis The -Purely Functional Software Deployment Model, which -contains most of the papers listed above. - -Nix has a homepage at . - -
- -