Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -30 -10 -8 +8 +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: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
Tue, 21 Nov 1995 12:36:31 +0100 index.html files are now made separatly for each subdirectory
changeset
clasohm [Tue, 21 Nov 1995 12:36:31 +0100] rev 1348
index.html files are now made separatly for each subdirectory
Sun, 19 Nov 1995 14:17:31 +0100 Moved comments into README.html
changeset
nipkow [Sun, 19 Nov 1995 14:17:31 +0100] rev 1347
Moved comments into README.html
Sun, 19 Nov 1995 14:16:00 +0100 New README.html fuile
changeset
nipkow [Sun, 19 Nov 1995 14:16:00 +0100] rev 1346
New README.html fuile
Sat, 18 Nov 1995 15:35:24 +0100 Better!
changeset
nipkow [Sat, 18 Nov 1995 15:35:24 +0100] rev 1345
Better!
(0) -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle