> And: isn't there a risk to update the local sources to a `unstable'
> revision? Or do you use symbolic tags for official releases, such as
> `ghc4.04pl1'?
Yep, we use symbolic tags. The complete list is below (ignore the revision
numbers, this list is generated from 'cvs log ghc/README').
ghc-4-04-pl1: 1.20.2.1
ghc-4-04: 1.20
ghc-4-04-branch: 1.20.0.2
before-rules: 1.19
ghc-4-02: 1.18
ghc-4-01: 1.16
ghc-3-branch: 1.15.0.2
ghc-3-03: 1.15
ghc-4-00: 1.14.2.2
new-rts-last-merged: 1.15
pre-existentials: 1.14.2.1
ghc-3-02: 1.15
new-core-last-merged: 1.15
new-core: 1.14.0.4
new-rts: 1.14.0.2
ghc-3-01: 1.14
ghc-3-00: 1.13
ghc-2-10-pl1: 1.12
ghc-2-10: 1.12
ghc-2-09: 1.11
ghc-3-00-branch: 1.9.0.2
ghc-2-08: 1.9
ghc-2-07: 1.6
ghc-2-04-pl2: 1.4
ghc-2-04-pl1: 1.4
ghc-2-04: 1.4
ghc-2-x-bootable: 1.4
ghc-2-03-p1: 1.4
ghc-2-03: 1.4
ghc-2-02-patches: 1.4.0.2
ghc-2-02: 1.4
before-new-build-system-merge: 1.3
new-build-system: 1.3.0.2
ghc-2-01: 1.3
ghc-0-29: 1.1.2.2
ghc-0-28-base: 1.1.0.2
alleged-0-27-post-gill: 1.1
alleged-0-27-post-sansom: 1.1
alleged-0-27-post-partain: 1.1
alleged-0-26-pl1: 1.1
alleged-0-26: 1.1
Cheers,
Simon