# | Summary▾ |
Milestone▾
|
Status▾
|
Owner▾
|
Created▾ | Updated▾ | |
---|---|---|---|---|---|---|---|
21 | Rename HOL's Kernels | None | open | Michael Norrish | 2010-06-08 | 2010-06-11 | |
17 | Record updates of polymorphic records | None | open | Michael Norrish | 2004-01-19 | 2004-01-19 | |
16 | Holmake outputting dependencies | None | open | Michael Norrish | 2003-10-06 | 2003-10-13 | |
14 | Implicit rules for Holmake | None | open | Michael Norrish | 2003-02-03 | 2003-07-10 | |
11 | parse in context respect constant types | None | open | Michael Norrish | 2002-09-12 | 2012-12-10 | |
9 | Make case expressions compute better in CBV_CONV | None | open | 2002-08-29 | 2002-09-03 |