Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 28 Dec 1998 16:47:47 +0100 String added to BasisLibrary
changeset
paulson [Mon, 28 Dec 1998 16:47:47 +0100] rev 6038
String added to BasisLibrary
Mon, 28 Dec 1998 16:47:21 +0100 better indentation
changeset
paulson [Mon, 28 Dec 1998 16:47:21 +0100] rev 6037
better indentation
Mon, 28 Dec 1998 16:46:44 +0100 fixed comments
changeset
paulson [Mon, 28 Dec 1998 16:46:44 +0100] rev 6036
fixed comments
Mon, 28 Dec 1998 16:46:15 +0100 replaced obsolete "trim" by "strip_quotes"
changeset
paulson [Mon, 28 Dec 1998 16:46:15 +0100] rev 6035
replaced obsolete "trim" by "strip_quotes"
Fri, 18 Dec 1998 19:43:10 +0100 Link to HOLCF paper added.
changeset
nipkow [Fri, 18 Dec 1998 19:43:10 +0100] rev 6034
Link to HOLCF paper added.
Fri, 18 Dec 1998 11:01:25 +0100 moved dest_Type to term.ML from HOL/Tools/primrec_package
changeset
paulson [Fri, 18 Dec 1998 11:01:25 +0100] rev 6033
moved dest_Type to term.ML from HOL/Tools/primrec_package
Fri, 18 Dec 1998 11:00:46 +0100 moved dest_eq to hologic.ML and tidied
changeset
paulson [Fri, 18 Dec 1998 11:00:46 +0100] rev 6032
moved dest_eq to hologic.ML and tidied
Fri, 18 Dec 1998 11:00:15 +0100 new function dest_eq
changeset
paulson [Fri, 18 Dec 1998 11:00:15 +0100] rev 6031
new function dest_eq
Thu, 17 Dec 1998 17:45:51 +0100 tuned mode_name;
changeset
wenzelm [Thu, 17 Dec 1998 17:45:51 +0100] rev 6030
tuned mode_name;
Thu, 17 Dec 1998 17:41:32 +0100 bash -c :;
changeset
wenzelm [Thu, 17 Dec 1998 17:41:32 +0100] rev 6029
bash -c :;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle