isabelle: Graph

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 tip

tuned nitpick message: more like quickcheck;
20 months ago, by wenzelm
clarified;
20 months ago, by wenzelm
evaluate Scala via running Isabelle/Scala;
20 months ago, by wenzelm
more robust: avoid spurious line breaks that might confuse the scala interpreter;
20 months ago, by wenzelm
clarified signature: proper eval/print via interpret;
20 months ago, by wenzelm
clarified name;
20 months ago, by wenzelm
factored out typedef material
20 months ago, by haftmann
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
proper platform_path for Windows;
20 months ago, by wenzelm
evaluate PolyML via running Isabelle/ML;
20 months ago, by wenzelm
output via file instead of stdout;
20 months ago, by wenzelm
proper context;
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
tuned signature;
20 months ago, by wenzelm
tuned
20 months ago, by nipkow
more thorough treatment of division, particularly signed division on int and word
20 months ago, by haftmann
canonical enum instance for word
20 months ago, by haftmann
merged
20 months ago, by wenzelm
clarified signature;
20 months ago, by wenzelm
proper ml_source: avoid duplicate Bash.string;
20 months ago, by wenzelm
misc tuning and clarification: prefer functions over data;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
misc tuning and clarification;
20 months ago, by wenzelm
tuned messages;
20 months ago, by wenzelm
tuned;
20 months ago, by wenzelm
merged
20 months ago, by paulson
de-applying and simplifying
20 months ago, by paulson
tuned
20 months ago, by nipkow
removal of needless premises
20 months ago, by paulson
merged
20 months ago, by paulson
de-applying
20 months ago, by paulson
dropped junk
20 months ago, by haftmann
typo
20 months ago, by haftmann
NEWS and CONTRIBUTORS
20 months ago, by haftmann
integrated generic conversions into word corpse
20 months ago, by haftmann
more lemmas
20 months ago, by haftmann
added lemma
20 months ago, by nipkow
de-applying
20 months ago, by paulson
merged
20 months ago, by paulson
merged
20 months ago, by paulson
cleaned up some messy proofs
20 months ago, by paulson
prefer current mathpartir.sty from underlying TeX distribution;
20 months ago, by wenzelm
more checks;
20 months ago, by wenzelm
more uniform color --- avoid odd transparency on Windows (due to jEdit default #666699a);
20 months ago, by wenzelm
updated documentation;
20 months ago, by wenzelm
tuned documentation;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
more uniform JVM vs. ML status widget;
20 months ago, by wenzelm
clarified modules;
20 months ago, by wenzelm
update to official jedit-5.6.0;
20 months ago, by wenzelm
merged
20 months ago, by paulson
tidying and de-applying
20 months ago, by paulson
restructured
20 months ago, by haftmann
tuned theory structure
20 months ago, by haftmann
more on conversions
20 months ago, by haftmann
generalized signed_take_bit
20 months ago, by haftmann
more on conversions
21 months ago, by haftmann
generalized
21 months ago, by haftmann