- Jul 23, 2008
-
-
nallen05 authored
darcs-hash:57b565389863aff1e0bbaf80b4d21dfd3e7fe452
-
nallen05 authored
renaming :MAX-DEPTH to :MAX-DEPTH-AFTER-REMOVING-ZEROS and :MAX-LOGICAL-DEPTH to :MAX-DEPTH-BEFORE-REMOVING-ZEROS darcs-hash:2901df701a3ef175e36894462d64dd263111389d
-
nallen05 authored
darcs-hash:757c4d9a1a468d1e9661a3953fb4497f53600389
-
- Jul 20, 2008