Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2007-08-20 | make Contrib use WorkspaceId | David Roundy | 1 | -2/+5 | |
darcs-hash:20070820113813-72aca-30984283cb9c04185fde9c89253af00e16912c10.gz | |||||
2007-08-14 | clean up DynamicWorkspaces to handle layouts properly. | David Roundy | 1 | -12/+16 | |
darcs-hash:20070814183542-72aca-69bc348ac38c0a2133782d874344255ab1221821.gz | |||||
2007-08-14 | make DynamicWorkspace more thorough. | David Roundy | 1 | -13/+28 | |
Note: there's still a bug due to our failure to inform the old layouts to clean up. darcs-hash:20070814014548-72aca-9b66ee3deba31a15b6e0b0dd0b79847edc6fc6e3.gz | |||||
2007-08-14 | new module DynamicWorkspaces to add and remove workspaces. | David Roundy | 1 | -0/+52 | |
darcs-hash:20070814011501-72aca-10aa9dd1a14ac1179f8cc16ebd52b1e54a505df8.gz |