Mercurial Mercurial > repos > isabelle / shortlog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
 
2008-03-10 haftmann fixed typo changeset | files
2008-03-10 haftmann adjusted to current implementation changeset | files
2008-03-10 huffman instance fun :: (finite, countable) countable changeset | files
2008-03-09 haftmann tuned changeset | files
2008-03-07 haftmann added Option_ord.thy changeset | files
2008-03-07 haftmann dropped local tsigs changeset | files
2008-03-07 haftmann some steps towards a refined treatment of equality changeset | files
2008-03-07 haftmann generic improvable syntax for targets changeset | files
2008-03-07 haftmann added hithero missing overloading.ML changeset | files
2008-03-07 haftmann tuned changeset | files
2008-03-07 haftmann whitespace tuning changeset | files
2008-03-07 haftmann clarified proposition changeset | files
2008-03-07 haftmann tuned proofs changeset | files
2008-03-07 haftmann canonical order on option type changeset | files
2008-03-07 haftmann added entries changeset | files
2008-03-06 wenzelm check ISABELLE_BROWSER_INFO before cd; changeset | files
2008-03-06 wenzelm replaced execute by system_out; changeset | files
2008-03-06 wenzelm replaced execute by system_out; changeset | files
2008-03-06 wenzelm added dummy version of string_of_pid; changeset | files
2008-03-06 wenzelm use "ML-Systems/universal.ML"; changeset | files
2008-03-06 wenzelm replaced execute by system_out; changeset | files
2008-03-06 wenzelm proper dependency on ML-Systems/mosml.ML; changeset | files
2008-03-06 wenzelm specific system_out (MosML lacks structure Posix); changeset | files
2008-03-06 wenzelm * system/system_out provides a robust way to invoke external shell changeset | files
2008-03-06 wenzelm system_out: threaded version does not work for 5.1; changeset | files
2008-03-06 wenzelm common setup for system_out/system; changeset | files
2008-03-06 wenzelm added ML-Systems/system_shell.ML; changeset | files
2008-03-06 wenzelm removed obsolete THIS_IS_ISABELLE_BUILD; changeset | files
2008-03-06 wenzelm obsolete (cf. ML-Systems/polyml_common.ML); changeset | files
2008-03-06 wenzelm renamed polyml-old-basis.ML to polyml_old_basis.ML; changeset | files
2008-03-06 wenzelm rearrangements to make latest Poly/ML the default, not old 4.x; changeset | files
2008-03-06 wenzelm cleaned-up ML-Systems; changeset | files
(0) -10000 -3000 -1000 -300 -100 -50 -32 +32 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle