isabelle: Graph

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

fixed a typo that caused the preference of non-random modes to be ignored
2010-09-28, by bulwahn
merged
2010-09-28, by haftmann
modernized primrecs
2010-09-28, by haftmann
modernized session
2010-09-28, by haftmann
consolidated tupled_lambda; moved to structure HOLogic
2010-09-28, by krauss
added dependency to base image to ensure that the doc test actually rebuilds the tutorial
2010-09-28, by haftmann
no longer declare .psimps rules as [simp].
2010-09-28, by krauss
added dependency to base images to ensure that the doc test actually rebuilds the tutorials
2010-09-28, by krauss
removed unnecessary reference poking (cf. f45d332a90e3)
2010-09-28, by krauss
merged
2010-09-28, by haftmann
consider quick_and_dirty option before loading theory
2010-09-28, by haftmann
dropped obsolete mk_tcl
2010-09-28, by krauss
make SML/NJ happy
2010-09-28, by blanchet
merged
2010-09-27, by haftmann
combine quote and typewriter tag; typewriter considers isa@parindent
2010-09-27, by haftmann
combine quote and typewriter/tt tag
2010-09-27, by haftmann
combine quote and typewriter tag; typewriter considers isa@parindent
2010-09-27, by haftmann
combine quote and typewriter tag
2010-09-27, by haftmann
CONTROL-mouse management: handle windowDeactivated as well;
2010-09-29, by wenzelm
CONTROL-mouse management: handle windowIconified;
2010-09-28, by wenzelm
basic support for message popups via HTML_Panel;
2010-09-28, by wenzelm
tuned default perspective;
2010-09-28, by wenzelm
tuned README;
2010-09-28, by wenzelm
more defensive overview.paintComponent: avoid potential crash due to buffer change while painting;
2010-09-28, by wenzelm
tuned README;
2010-09-28, by wenzelm
more uniform init/exit model/view in session_manager, trading race wrt. session.phase for race wrt. global editor state;
2010-09-28, by wenzelm
moved "auto-start" to options panel;
2010-09-27, by wenzelm
renamed raw output primitives to emphasize their meaning -- not to be used in user-space;
2010-09-27, by wenzelm
added Standard_System.unzip (for platform file-system);
2010-09-27, by wenzelm
bulk read: observe EOF protocol more carefully -- 0 counts as successful read;
2010-09-27, by wenzelm
tuned whitespace;
2010-09-27, by wenzelm
merged
2010-09-27, by wenzelm
lemma remdups_map_remdups
2010-09-27, by haftmann
lemma remdups_list_of_dlist
2010-09-27, by haftmann
merged
2010-09-27, by bulwahn
adopting example
2010-09-27, by bulwahn
adding further tracing messages; tuned
2010-09-27, by bulwahn
handling nested cases more elegant by requiring less new constants
2010-09-27, by bulwahn
merged
2010-09-27, by blanchet
renamed function
2010-09-27, by blanchet
rename "Clausifier" to "Meson_Clausifier" and merge with "Meson_Tactic"
2010-09-27, by blanchet
comment out Auto Try until issues are resolved (automatically on by default even though the code says off; thread that continues in the background)
2010-09-27, by blanchet
remove needless flag
2010-09-27, by blanchet
added hint on reference equality
2010-09-27, by haftmann
treat equality on refs and arrays as primitive operation
2010-09-27, by haftmann
corrected OCaml operator precedence
2010-09-27, by haftmann
corrected scope of closure
2010-09-27, by haftmann
merged
2010-09-27, by haftmann
separate quote tag from tt tag
2010-09-27, by haftmann
separate quote tag from tt tag
2010-09-24, by haftmann
make SML/NJ happy
2010-09-25, by blanchet
some more options to robustify posix_untar;
2010-09-27, by wenzelm
more efficient posix_untar -- avoid really slow java.util.zip.GZIPInputStream;
2010-09-27, by wenzelm
back to UseQuartz=true -- used to be default on Apple Java 1.5;
2010-09-27, by wenzelm
raw_untar.raw_execute with native cwd, to avoid cross-platform complications;
2010-09-26, by wenzelm
added Standard_System.raw_untar;
2010-09-26, by wenzelm
some markup for inner syntax tokens;
2010-09-26, by wenzelm
tuned signatures and messages;
2010-09-26, by wenzelm
Session_Dockable: more startup controls;
2010-09-25, by wenzelm
simplified / clarified Session.Phase;
2010-09-25, by wenzelm
more precise treatment of backgrounds vs. rectangles;
2010-09-25, by wenzelm
tuned mk_fifo;
2010-09-25, by wenzelm
tuned signature;
2010-09-25, by wenzelm
tuned border;
2010-09-24, by wenzelm
more informative Session.Phase;
2010-09-24, by wenzelm
merged
2010-09-24, by wenzelm
merged
2010-09-24, by haftmann
tuned schema table
2010-09-24, by haftmann
tuned warning_color;
2010-09-24, by wenzelm
tuned error_color;
2010-09-24, by wenzelm
some attempts to improve visual appearance of bad text;
2010-09-24, by wenzelm
clarified @{type} antiquotation: abbreviations and nonterminals count as "syntactic", disallow TFrees;
2010-09-24, by wenzelm
updated generated file;
2010-09-24, by wenzelm
modernized structure Ord_List;
2010-09-24, by wenzelm
isatest: indicate Isabelle version;
2010-09-24, by wenzelm
actually handle Type.TYPE_MATCH, not arbitrary exceptions;
2010-09-24, by wenzelm
merged
2010-09-24, by wenzelm
prefer typewrite tag over raw latex environment
2010-09-24, by haftmann
avoid fragile tranclp syntax; corrected resolution; corrected typo
2010-09-24, by haftmann
merged
2010-09-24, by wenzelm
use typewriter tag instead of bare environment
2010-09-24, by haftmann
dropped dead code
2010-09-24, by haftmann
always add trailing newline for presentation
2010-09-24, by haftmann
corrected omission
2010-09-24, by haftmann
fixed small font size fore typewriter text
2010-09-24, by haftmann
merged
2010-09-24, by haftmann
load theory explicitly
2010-09-24, by haftmann
merge
2010-09-24, by blanchet
make SML/NJ happier -- temporary solution until Metis is fixed upstream
2010-09-24, by blanchet
merged
2010-09-24, by bulwahn
being a little less strict than in 2e06dad03dd3
2010-09-24, by bulwahn
quotient package: respectfulness and preservation of identity.
2010-09-24, by Cezary Kaliszyk
merged
2010-09-23, by haftmann
merged
2010-09-23, by haftmann
removed superfluous output_typewriter from cs 65064e8f269
2010-09-23, by haftmann
more idiomatic handling of latex typewriter type setting
2010-09-23, by haftmann
more canonical type setting of type writer code examples
2010-09-23, by haftmann
resynchronize isabelle.sty
2010-09-23, by haftmann
reverted cs 5aced2f43837 -- no need for hardwired latex command here
2010-09-23, by haftmann
reverted cs 07549694e2f1 -- use re-printing with current print mode instead after code assembly, avoid Latex.output_typewriter
2010-09-23, by haftmann
reverted cs 07549694e2f1
2010-09-23, by haftmann
shifted abstraction over imperative print mode
2010-09-23, by haftmann
removing unneccessary expansion procedure for elimination rules; removing obsolete elim preprocessing; tuned
2010-09-23, by bulwahn
moving the preprocessing of introduction rules after the code_pred command; added tuple expansion preprocessing of elimination rule
2010-09-23, by bulwahn
exporting the generic version instead of the context version in quickcheck
2010-09-23, by bulwahn
splitting Predicate_Compile_Examples into Examples and Predicate_Compile_Tests
2010-09-23, by bulwahn
adding a mutual recursive example for named alternative rules for the predicate compiler
2010-09-23, by bulwahn
handling TYPE_MATCH error by raising user error message if user gives introduction rules with mismatching types
2010-09-23, by bulwahn
improving naming of assumptions in code_pred
2010-09-23, by bulwahn
adding check if user-given modes match type of predicates; removed useless function expand_tuples_elim
2010-09-23, by bulwahn
handling equivalences smarter in the predicate compiler
2010-09-23, by bulwahn
removing duplicate rewrite rule from simpset in predicate compiler
2010-09-23, by bulwahn
rewriting function mk_Eval_of in predicate compiler
2010-09-23, by bulwahn
merged
2010-09-23, by haftmann
improved and tuned external codegen tool
2010-09-23, by haftmann
make SML/NJ happy
2010-09-23, by blanchet
CONTRIBUTORS and NEWS
2010-09-23, by haftmann
corrections and tuning
2010-09-23, by haftmann
merged
2010-09-22, by haftmann
merged
2010-09-22, by haftmann