Register
|
Log in
News for package
acl2
[
2004-05-31
]
Accepted acl2 2.8-4 (i386 source all)
(
Camm Maguire
)
[
2004-05-12
]
Accepted acl2 2.8-3 (i386 source all)
(
Camm Maguire
)
[
2004-04-30
]
Accepted acl2 2.8-2 (i386 source all)
(
Camm Maguire
)
[
2004-04-22
]
Accepted acl2 2.8-1 (i386 source all)
(
Camm Maguire
)
[
2004-02-16
]
Accepted acl2 2.7-9 (i386 source all)
(
Camm Maguire
)
[
2004-02-05
]
Accepted acl2 2.7-8 (i386 source all)
(
Camm Maguire
)
[
2002-12-10
]
Accepted acl2 2.7-7 (i386 source all)
(
Camm Maguire
)
[
2002-12-05
]
Accepted acl2 2.7-6 (i386 source all)
(
Camm Maguire
)
[
2002-11-25
]
Accepted acl2 2.7-5 (i386 source all)
(
Camm Maguire
)
[
2002-11-22
]
Accepted acl2 2.7-4 (i386 source all)
(
Camm Maguire
)
[
2002-11-22
]
Accepted acl2 2.7-3 (i386 source all)
(
Camm Maguire
)
[
2002-11-20
]
Accepted acl2 2.7-2 (i386 source all)
(
Camm Maguire
)
[
2002-11-19
]
Accepted acl2 2.7-1 (i386 source all)
(
Camm Maguire
)
[
2002-11-17
]
Accepted acl2 2.6-15 (i386 source all)
(
Camm Maguire
)
[
2002-11-17
]
Accepted acl2 2.6-14 (i386 source all)
(
Camm Maguire
)
[
2002-11-17
]
Accepted acl2 2.6-13 (i386 source all)
(
Camm Maguire
)
[
2002-11-17
]
Accepted acl2 2.6-12 (i386 source all)
(
Camm Maguire
)
[
2002-11-14
]
Accepted acl2 2.6-11 (i386 source all)
(
Camm Maguire
)
1
2
3
4
5
6
