Move models.history to extra

2009-04-05 23:16:48 -05:00 · 2009-04-05 23:16:48 -05:00 · 687e9f90fe
parent 880f4097ad
commit 687e9f90fe
5 changed files with 0 additions and 1 deletions
--- a/basis/models/models-docs.factor
+++ b/basis/models/models-docs.factor
@ -133,7 +133,6 @@ $nl
 { $subsection "models-impl" }
 { $subsection "models.arrow" }
 { $subsection "models.product" }
-{ $subsection "models-history" }
 { $subsection "models-range" }
 { $subsection "models-delay" } ;

--- a/extra/models/history/history-docs.factor
+++ b/extra/models/history/history-docs.factor
--- a/extra/models/history/history-tests.factor
+++ b/extra/models/history/history-tests.factor
--- a/extra/models/history/history.factor
+++ b/extra/models/history/history.factor
--- a/extra/models/history/summary.txt
+++ b/extra/models/history/summary.txt