2009-01-21 immler 2009-01-21 removed vampire-wrapper (remote-script covers that)
2009-01-21 immler 2009-01-21 2 provers
2009-01-21 immler 2009-01-21 tuned; really find failure
2009-01-20 immler 2009-01-20 do not interrupt successful thread
2009-01-20 immler 2009-01-20 cancel whole group
2009-01-20 immler 2009-01-20 Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
2009-01-20 immler 2009-01-20 pass timeout to prover; especially to remote-script
2009-01-20 immler 2009-01-20 typo
2009-01-20 immler 2009-01-20 merged
2009-01-20 immler 2009-01-20 modified remote script; modified handling of errors
2009-01-19 immler 2009-01-19 Automated merge with http://isabelle.in.tum.de/repos/isabelle/tip
2009-01-14 immler 2009-01-14 removed useless
2009-01-12 immler 2009-01-12 simplified usage of remote-script; added compatible remote-atps
2009-01-21 haftmann 2009-01-21 dropped print_interps
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2009-01-21 haftmann 2009-01-21 merged
2009-01-21 haftmann 2009-01-21 merged
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2009-01-21 haftmann 2009-01-21 binding is alias for Binding.T
2009-01-21 haftmann 2009-01-21 dropped ID
2009-01-21 haftmann 2009-01-21 binding replaces bstring
2009-01-21 haftmann 2009-01-21 refined witness algebra
2009-01-21 haftmann 2009-01-21 code cleanup
2009-01-21 haftmann 2009-01-21 wrecked old locale package and related modules
2009-01-21 haftmann 2009-01-21 improved and corrected reading of class specs -- still draft version
2009-01-21 haftmann 2009-01-21 tuned
2009-01-20 wenzelm 2009-01-20 tuned;
2009-01-20 wenzelm 2009-01-20 replaced java.util.Properties by plain association list; added parse_message;
2009-01-20 wenzelm 2009-01-20 replaced java.util.Properties by plain association list; tuned;
2009-01-20 wenzelm 2009-01-20 IsabelleSystem: provide Symbol.Interpretation;
2009-01-20 wenzelm 2009-01-20 more general init of Symbol.Interpretation, independent of IsabelleSystem instance;
2009-01-19 wenzelm 2009-01-19 more robust handling of quick_and_dirty;
2009-01-19 ballarin 2009-01-19 Merged, overriding earlier fix.
2009-01-19 ballarin 2009-01-19 Fixed tutorial to compile with new locales; grammar of new locale commands.
2009-01-19 wenzelm 2009-01-19 removed Ids;
2009-01-19 wenzelm 2009-01-19 removed Ids;
2009-01-19 wenzelm 2009-01-19 intern names of elements and attributes;
2009-01-19 haftmann 2009-01-19 merged
2009-01-19 haftmann 2009-01-19 lcp = paulson
2009-01-19 haftmann 2009-01-19 "code equation" replaces "defining equation"
2009-01-19 haftmann 2009-01-19 tuned
2009-01-19 haftmann 2009-01-19 improved tackling of subclasses
2009-01-19 haftmann 2009-01-19 tuned proof
2009-01-18 haftmann 2009-01-18 smart path detection
2009-01-18 haftmann 2009-01-18 corrected user aliases
2009-01-18 haftmann 2009-01-18 added churn script
2009-01-18 wenzelm 2009-01-18 Scala wrapper for interactive Isar documents;
2009-01-18 wenzelm 2009-01-18 added append_list, encode_list; tuned;
2009-01-18 wenzelm 2009-01-18 join_results: when dependencies are resulved (but not finished yet), always continue execution as worker thread -- improved parallelism at the cost of some reactivity;
2009-01-18 wenzelm 2009-01-18 with_attributes: make double sure that unsafe attributes are avoided;
2009-01-18 nipkow 2009-01-18 bug fixes
2009-01-18 nipkow 2009-01-18 bug fixes
2009-01-18 haftmann 2009-01-18 improved calculation of morphisms and rules
2009-01-17 haftmann 2009-01-17 merged
2009-01-17 haftmann 2009-01-17 tuned signature
2009-01-17 haftmann 2009-01-17 exported depedencies; tuned signature
2009-01-17 huffman 2009-01-17 merged
2009-01-16 huffman 2009-01-16 merged
2009-01-15 huffman 2009-01-15 use match_tac instead of resolve_tac for continuity simproc
2009-01-15 huffman 2009-01-15 more instance declarations for poly