Fri, 15 Dec 1995 12:23:56 +0100 added chmod and chgrp
clasohm [Fri, 15 Dec 1995 12:23:56 +0100] rev 1406
added chmod and chgrp
Fri, 15 Dec 1995 12:15:39 +0100 init_html now makes sure that base_path contains a physical path and no
clasohm [Fri, 15 Dec 1995 12:15:39 +0100] rev 1405
init_html now makes sure that base_path contains a physical path and no symbolic links
Thu, 14 Dec 1995 12:49:32 +0100 Added Pelletier's problem 62, as corrected in AAR
paulson [Thu, 14 Dec 1995 12:49:32 +0100] rev 1404
Added Pelletier's problem 62, as corrected in AAR Newletter #31
Wed, 13 Dec 1995 14:14:06 +0100 renamed parents_of to parents_of_name to avoid name clash with function
clasohm [Wed, 13 Dec 1995 14:14:06 +0100] rev 1403
renamed parents_of to parents_of_name to avoid name clash with function from thm.ML
Mon, 11 Dec 1995 11:24:51 +0100 layout
nipkow [Mon, 11 Dec 1995 11:24:51 +0100] rev 1402
layout
Sat, 09 Dec 1995 13:36:11 +0100 removed quotes from consts and syntax sections
clasohm [Sat, 09 Dec 1995 13:36:11 +0100] rev 1401
removed quotes from consts and syntax sections
Fri, 08 Dec 1995 19:48:15 +0100 Introduced Monad syntax Pat := Val; Cont
nipkow [Fri, 08 Dec 1995 19:48:15 +0100] rev 1400
Introduced Monad syntax Pat := Val; Cont
Fri, 08 Dec 1995 13:22:55 +0100 trivial, automatic changes
paulson [Fri, 08 Dec 1995 13:22:55 +0100] rev 1399
trivial, automatic changes
Fri, 08 Dec 1995 11:57:02 +0100 Changed div_termination -> diff_less
nipkow [Fri, 08 Dec 1995 11:57:02 +0100] rev 1398
Changed div_termination -> diff_less Corrected if_...
Fri, 08 Dec 1995 11:40:42 +0100 Improved error message, suggesting addition of
paulson [Fri, 08 Dec 1995 11:40:42 +0100] rev 1397
Improved error message, suggesting addition of type constraints if occurrences of the recursive set remain in the fixedpoint definition.
(0) -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip