vuxu.org

home
about
apology
recentchanges

up:

Log book

2008-01-10

Port selfupdate.
Port install coq.

va li date

this.atom

Copyright © 2007, 2008 Christian Neukirchen

Powered by Enid 0.3.1.

Verbatim copying is permitted as long as this message is preserved.