John Wiegley 0ee75214f3 proofgeneral_HEAD: New expr: Proof General from GitHub		2016-03-07 07:16:04 -08:00
..
applications	proofgeneral_HEAD: New expr: Proof General from GitHub	2016-03-07 07:16:04 -08:00
build-support	haskell: Rename file where buildStackProject is defined.	2016-03-04 21:18:14 +01:00
data	Merge pull request #13621 from DamienCassou/add-gentium-book-basic	2016-03-02 19:20:58 +01:00
desktops	kde5.plasma.plasma-workspace: 5.5.5.1 -> 5.5.5.2	2016-03-03 05:57:09 -06:00
development	Merge pull request #13695 from forked-upstream-packages-for-ghcjs/more-bootpkgs	2016-03-07 14:15:42 +01:00
games	crawl: cleanup	2016-03-06 05:10:20 +03:00
misc	splix: revert "2.0.0 -> svn-r315" version update	2016-03-07 13:37:54 +01:00
os-specific	Merge pull request #13726 from NeQuissimus/upower0994	2016-03-07 12:27:16 +00:00
servers	tomcat: 6.0.44 -> 6.0.45, 7.0.62 -> 7.0.68, 8.0.23 -> 8.0.32	2016-03-07 03:34:44 +01:00
shells	Merge pull request #13368 from nathan7/fish-ul	2016-02-28 22:09:32 +00:00
stdenv	make-bootstrap-tools: fix #13629: glibc problems	2016-03-03 12:09:50 +01:00
test
tools	Merge pull request #13705 from aneeshusa/use-bin-instead-of-sbin-for-openssh	2016-03-07 12:03:37 +00:00
top-level	proofgeneral_HEAD: New expr: Proof General from GitHub	2016-03-07 07:16:04 -08:00