tree 8e34d5b561796eec3284e0c20e176883b3ab3749
parent 9c679f812870ed470ef3de316ab2fde3789f6a89
author Jack Jansen <jack.jansen@cwi.nl> 1045054076 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1045054076 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4031364

Renamed InstallManager to PackageManager, finished a first stab at the
implementation and integrated it into the IDE.