Fri, 09 Jul 2004 11:13:36 +0200 new profiling function
paulson [Fri, 09 Jul 2004 11:13:36 +0200] rev 15028
new profiling function
Thu, 08 Jul 2004 19:34:56 +0200 adapted type of simprocs;
wenzelm [Thu, 08 Jul 2004 19:34:56 +0200] rev 15027
adapted type of simprocs;
Thu, 08 Jul 2004 19:34:18 +0200 make SML/NJ happy;
wenzelm [Thu, 08 Jul 2004 19:34:18 +0200] rev 15026
make SML/NJ happy;
Thu, 08 Jul 2004 19:34:10 +0200 added add_term_varnames, term_varnames;
wenzelm [Thu, 08 Jul 2004 19:34:10 +0200] rev 15025
added add_term_varnames, term_varnames;
Thu, 08 Jul 2004 19:34:00 +0200 got rid of obsolete meta_simpset; tuned;
wenzelm [Thu, 08 Jul 2004 19:34:00 +0200] rev 15024
got rid of obsolete meta_simpset; tuned;
Thu, 08 Jul 2004 19:33:51 +0200 major cleanup; got rid of obsolete meta_simpset;
wenzelm [Thu, 08 Jul 2004 19:33:51 +0200] rev 15023
major cleanup; got rid of obsolete meta_simpset;
Thu, 08 Jul 2004 19:33:31 +0200 tuned simprocs;
wenzelm [Thu, 08 Jul 2004 19:33:31 +0200] rev 15022
tuned simprocs;
Thu, 08 Jul 2004 19:33:05 +0200 got rid of obsolete meta_simpset;
wenzelm [Thu, 08 Jul 2004 19:33:05 +0200] rev 15021
got rid of obsolete meta_simpset;
Thu, 08 Jul 2004 19:32:53 +0200 tuned;
wenzelm [Thu, 08 Jul 2004 19:32:53 +0200] rev 15020
tuned;
Thu, 08 Jul 2004 19:32:46 +0200 removed obsolete dependency;
wenzelm [Thu, 08 Jul 2004 19:32:46 +0200] rev 15019
removed obsolete dependency;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip