1
I Use This!
Activity Not Available

Commits : Listings

Analyzed almost 5 years ago. based on code collected over 6 years ago.
Mar 17, 2012 — Mar 17, 2013
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
merged from 2013 release Anon32 More... over 6 years ago
new build system in submission instructions Anon32 More... over 6 years ago
updated Anon32 More... over 6 years ago
adapt to changes Isabelle/4a3c453f99a1 Anon32 More... over 6 years ago
explain the quick_and_dirty. Should consider removing it, but would require document change since axioms command is discontinued. Anon32 More... over 6 years ago
merge from release Anon32 More... over 6 years ago
does not depend on Infinite_Set, should have been removed from ROOT.ML a long time ago Anon32 More... over 6 years ago
local Word, not HOL-Word Anon32 More... over 6 years ago
remove HOL/Library theories from browser_info by re-basing HOL session on HOL-Library Anon32 More... over 6 years ago
removed quick_and_dirty Anon32 More... over 6 years ago
fixed up comments Anon32 More... over 6 years ago
removed old header Anon32 More... over 6 years ago
removed old header Anon32 More... over 6 years ago
reshuffled comments, addressed FIXME Anon32 More... over 6 years ago
removed old header and FIXME comment Anon32 More... over 6 years ago
build Kleene_Algebra on HOL-Word to avoid HOL/Word and HOL/Library files in browser_info Anon32 More... over 6 years ago
Abstract for Kleene_Algebra updated (to take 110d2e4ba714 into account). Anon32 More... over 6 years ago
more generous values_timeout to accomodate fluctuation due to increased parallelism; Anon32 More... over 6 years ago
refer to compile-time master directory, to make test independent of accidental cwd; Anon32 More... over 6 years ago
merged Anon32 More... over 6 years ago
some facts about predecessor sets Anon32 More... over 6 years ago
prefer stateless 'ML_val' for tests; Anon32 More... over 6 years ago
merged from 2013 branch Anon32 More... over 6 years ago
added theory graph Anon32 More... over 6 years ago
regenerated web page Anon32 More... over 6 years ago
provide link to entry status page from devel front page Anon32 More... over 6 years ago
merged Nominal2 and Launchbury entry from release branch Anon32 More... over 6 years ago
fixed email address Anon32 More... over 6 years ago
merged Anon32 More... over 6 years ago
hardwire odd parallel_proofs_reuse_timing=false for now, to save a few minutes build time; Anon32 More... over 6 years ago