Wed, 25 May 2005 09:44:34 +0200 removed LICENCE note -- everything is subject to Isabelle licence as
wenzelm [Wed, 25 May 2005 09:44:34 +0200] rev 16070
removed LICENCE note -- everything is subject to Isabelle licence as stated in COPYRIGHT file;
Wed, 25 May 2005 09:04:24 +0200 *** empty log message ***
nipkow [Wed, 25 May 2005 09:04:24 +0200] rev 16069
*** empty log message ***
Wed, 25 May 2005 09:03:53 +0200 grammar
nipkow [Wed, 25 May 2005 09:03:53 +0200] rev 16068
grammar
Wed, 25 May 2005 02:49:46 +0200 shorted proof that lift is chfin
huffman [Wed, 25 May 2005 02:49:46 +0200] rev 16067
shorted proof that lift is chfin
Wed, 25 May 2005 01:47:11 +0200 Removed shell variables. Now uses isatool getenv -b SPASS_HOME.
quigley [Wed, 25 May 2005 01:47:11 +0200] rev 16066
Removed shell variables. Now uses isatool getenv -b SPASS_HOME.
Tue, 24 May 2005 16:12:52 +0200 Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it.
quigley [Tue, 24 May 2005 16:12:52 +0200] rev 16065
Generic version of spassshell. Add SPASS_HOME to .bashrc so that shell script can find it.
Tue, 24 May 2005 14:28:59 +0200 ML_idf antiquotation
haftmann [Tue, 24 May 2005 14:28:59 +0200] rev 16064
ML_idf antiquotation
Tue, 24 May 2005 11:19:50 +0200 oracle example converted to Isar
paulson [Tue, 24 May 2005 11:19:50 +0200] rev 16063
oracle example converted to Isar
Tue, 24 May 2005 10:55:11 +0200 cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other
paulson [Tue, 24 May 2005 10:55:11 +0200] rev 16062
cannot have files named adm.ML and Adm.ML on Macs, so deleted one and renamed the other
Tue, 24 May 2005 10:23:24 +0200 A new structure and reduced indentation
paulson [Tue, 24 May 2005 10:23:24 +0200] rev 16061
A new structure and reduced indentation
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip