isabelle: Changelog

clasohm [Thu, 26 Oct 1995 13:44:24 +0100] rev 1311

renamed logics.html and 00-chart.html to index.html

clasohm [Thu, 26 Oct 1995 12:49:02 +0100] rev 1310

removed buggy FTP scripts and replaced them by a script for transfer to our HTTP server

clasohm [Thu, 26 Oct 1995 11:47:25 +0100] rev 1309

scripts for transfer of HTML files to FTP server

clasohm [Wed, 25 Oct 1995 13:41:45 +0100] rev 1308

removed "duplicate" warning from store_thm_db; changed place where store_thm_db is called for a theory's axioms

clasohm [Wed, 25 Oct 1995 12:53:53 +0100] rev 1307

added init_html and make_chart

clasohm [Wed, 25 Oct 1995 12:53:24 +0100] rev 1306

added make_chart

nipkow [Wed, 25 Oct 1995 10:49:53 +0100] rev 1305

Removed Old_HOL

isabelle