Mercurial > aurellem
diff org/setup.org @ 14:367f7b7478a9
On main page: removed superfluous header; added new post on inductive lattices.
author | Dylan Holmes <ocsenave@gmail.com> |
---|---|
date | Tue, 01 Nov 2011 02:10:02 -0500 |
parents | e8572e7c1e62 |
children | f679403db87d |