Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Tue, 21 Nov 1995 12:46:36 +0100 moved from ../ROOT_ABP.ML;
changeset
clasohm [Tue, 21 Nov 1995 12:46:36 +0100] rev 1354
moved from ../ROOT_ABP.ML; removed make_chart; theories are now read from the current directory (because of use_dir)
Tue, 21 Nov 1995 12:46:11 +0100 moved to subdirectories ABP and NTP
changeset
clasohm [Tue, 21 Nov 1995 12:46:11 +0100] rev 1353
moved to subdirectories ABP and NTP
Tue, 21 Nov 1995 12:43:52 +0100 removed make_chart
changeset
clasohm [Tue, 21 Nov 1995 12:43:52 +0100] rev 1352
removed make_chart
Tue, 21 Nov 1995 12:43:09 +0100 removed make_chart;
changeset
clasohm [Tue, 21 Nov 1995 12:43:09 +0100] rev 1351
removed make_chart; theories are now read from the current directory (because of use_dir)
Tue, 21 Nov 1995 12:41:52 +0100 replaced exit_use by exit_use_dir for subdirectories
changeset
clasohm [Tue, 21 Nov 1995 12:41:52 +0100] rev 1350
replaced exit_use by exit_use_dir for subdirectories
Tue, 21 Nov 1995 12:40:04 +0100 added local index.html files to rm_html.sh;
changeset
clasohm [Tue, 21 Nov 1995 12:40:04 +0100] rev 1349
added local index.html files to rm_html.sh; replaced www4 by hpbroy12 in install_html.sh because of login problems on www4
(0) -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle