applications
|
Update HOL Light
|
2010-11-03 22:20:05 +00:00 |
data
|
Switch to kde-4.5 by default
|
2010-10-10 07:39:01 +00:00 |
development
|
added the sword framework
|
2010-11-03 20:36:36 +00:00 |
lib
|
* Typo.
|
2010-10-14 13:55:08 +00:00 |
os-specific
|
* Linux 2.6.32.25.
|
2010-11-03 20:54:20 +00:00 |
servers
|
mod_wsgi: fixed build on Darwin
|
2010-10-29 14:46:40 +00:00 |
shells
|
GNU Rush 1.7.
|
2010-08-19 16:55:51 +00:00 |
stdenv
|
pkgs/stdenv/generic: cosmetic changes
|
2010-08-23 14:40:37 +00:00 |
test
|
Add a new way to handle option sets.
|
2008-08-05 17:16:35 +00:00 |
tools
|
- Renamed DisnixService => DisnixWebService
|
2010-11-01 17:33:24 +00:00 |