Sun, 29 Aug 2004 17:42:11 +0200 Provers/blast.ML: depth_limit
webertj [Sun, 29 Aug 2004 17:42:11 +0200] rev 15163
Provers/blast.ML: depth_limit
Sun, 29 Aug 2004 17:36:39 +0200 depth limit (previously hard-coded with a value of 20) made a reference
webertj [Sun, 29 Aug 2004 17:36:39 +0200] rev 15162
depth limit (previously hard-coded with a value of 20) made a reference
Thu, 26 Aug 2004 17:28:57 +0200 comment modified
webertj [Thu, 26 Aug 2004 17:28:57 +0200] rev 15161
comment modified
Tue, 24 Aug 2004 17:55:24 +0200 changes
obua [Tue, 24 Aug 2004 17:55:24 +0200] rev 15160
changes
Mon, 23 Aug 2004 18:35:11 +0200 begin_theory now takes optional path (current directory) as argument.
berghofe [Mon, 23 Aug 2004 18:35:11 +0200] rev 15159
begin_theory now takes optional path (current directory) as argument. This is needed for locating *.ML files connected with theories.
Mon, 23 Aug 2004 18:33:55 +0200 Fixed several bugs related to path specifications in theory names.
berghofe [Mon, 23 Aug 2004 18:33:55 +0200] rev 15158
Fixed several bugs related to path specifications in theory names.
Mon, 23 Aug 2004 18:32:49 +0200 Function check_file now takes optional path (current directory) as an argument.
berghofe [Mon, 23 Aug 2004 18:32:49 +0200] rev 15157
Function check_file now takes optional path (current directory) as an argument.
Mon, 23 Aug 2004 18:31:18 +0200 Adapted to new interface of function ThyLoad.check_file
berghofe [Mon, 23 Aug 2004 18:31:18 +0200] rev 15156
Adapted to new interface of function ThyLoad.check_file
Mon, 23 Aug 2004 17:06:18 +0200 Added function for "normalizing" absolute paths (i.e. dereferencing of
berghofe [Mon, 23 Aug 2004 17:06:18 +0200] rev 15155
Added function for "normalizing" absolute paths (i.e. dereferencing of symbolic links; the functions in path.ML cannot do this). This is used by function full_path.
Mon, 23 Aug 2004 16:41:06 +0200 new isatool dimacs2hol
webertj [Mon, 23 Aug 2004 16:41:06 +0200] rev 15154
new isatool dimacs2hol
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip