Wed, 20 Apr 2005 22:43:52 +0200 Added op in front of constructor for better parsing.
gagern [Wed, 20 Apr 2005 22:43:52 +0200] rev 15786
Added op in front of constructor for better parsing.
Wed, 20 Apr 2005 22:37:29 +0200 Fix automatic determination of poly version.
gagern [Wed, 20 Apr 2005 22:37:29 +0200] rev 15785
Fix automatic determination of poly version.
Wed, 20 Apr 2005 19:00:30 +0200 removed redundant readlink call
gagern [Wed, 20 Apr 2005 19:00:30 +0200] rev 15784
removed redundant readlink call
Wed, 20 Apr 2005 18:57:05 +0200 call to Array.modifyi replaced
webertj [Wed, 20 Apr 2005 18:57:05 +0200] rev 15783
call to Array.modifyi replaced
Wed, 20 Apr 2005 18:01:50 +0200 Corrected the problem with the ATP directory.
quigley [Wed, 20 Apr 2005 18:01:50 +0200] rev 15782
Corrected the problem with the ATP directory.
Wed, 20 Apr 2005 17:19:42 +0200 Used locale interpretations everywhere. -> lemma had new name
nipkow [Wed, 20 Apr 2005 17:19:42 +0200] rev 15781
Used locale interpretations everywhere. -> lemma had new name
Wed, 20 Apr 2005 17:19:18 +0200 Used locale interpretations everywhere.
nipkow [Wed, 20 Apr 2005 17:19:18 +0200] rev 15780
Used locale interpretations everywhere.
Wed, 20 Apr 2005 16:03:17 +0200 Removed remaining references to Main.thy in reconstruction code.
quigley [Wed, 20 Apr 2005 16:03:17 +0200] rev 15779
Removed remaining references to Main.thy in reconstruction code.
Wed, 20 Apr 2005 14:18:33 +0200 Allow symlinks to shell scripts
gagern [Wed, 20 Apr 2005 14:18:33 +0200] rev 15778
Allow symlinks to shell scripts
Wed, 20 Apr 2005 00:45:54 +0200 added locale instantiation
kleing [Wed, 20 Apr 2005 00:45:54 +0200] rev 15777
added locale instantiation
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip