isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

misc tuning and clarification: more explicit types;
10 days ago, by wenzelm
more accurate indentation: retain (before: Double) until it is materialized as blanks;
11 days ago, by wenzelm
misc tuning: more uniform;
11 days ago, by wenzelm
clarified internal data representation, following push/pop model of Scala version;
11 days ago, by wenzelm
tuned names;
11 days ago, by wenzelm
more accurate formatting of open_block: markup only, without affecting layout (e.g. via force_next);
12 days ago, by wenzelm
tuned: more uniform;
13 days ago, by wenzelm
proper treatment of XML.Wrapped_Elem as open_block (amending 7cacedbddba7, but this case is presently unused);
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
unused;
13 days ago, by wenzelm
tuned signature;
13 days ago, by wenzelm
tuned: more uniform;
13 days ago, by wenzelm
tuned: more uniform;
13 days ago, by wenzelm
clarified data representation: less redundancy;
13 days ago, by wenzelm
tuned;
13 days ago, by wenzelm
minor performance tuning;
13 days ago, by wenzelm
clarified signature: more direct indent_markup;
13 days ago, by wenzelm
more LaTeX markup;
2 weeks ago, by wenzelm
Backed out changeset 0ca0a47235e5 (produced Code check failed for Haskell?)
13 days ago, by nipkow
tuned
13 days ago, by nipkow
merged
13 days ago, by nipkow
merged
3 weeks ago, by nipkow
merged
4 weeks ago, by nipkow
tuned slow proof
4 weeks ago, by nipkow
merged
2 weeks ago, by wenzelm
proper bullet symbols for GUI text -- in contrast to Isabelle \<bullet> 0x002219;
2 weeks ago, by wenzelm
tuned: more direct GUI painting via HTML;
2 weeks ago, by wenzelm
tuned generated output: more standard operations;
2 weeks ago, by wenzelm
tuned GUI output: more uniform;
2 weeks ago, by wenzelm
minor performance tuning;
2 weeks ago, by wenzelm
tuned generated output: more standard operations;
2 weeks ago, by wenzelm
clarified signature: more operations;
2 weeks ago, by wenzelm
more accurate treatment of plain text (amending eede0cf38a63);
2 weeks ago, by wenzelm
clarified signature: more operations;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
tuned, following theories_status.scala;
2 weeks ago, by wenzelm
tuned imports;
2 weeks ago, by wenzelm
tuned GUI output;
2 weeks ago, by wenzelm
clarified signature: ensure uniform style;
2 weeks ago, by wenzelm
tuned GUI output;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
tuned;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
drop redundant space in HTML (see also 18a720984855);
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
more robust: proper HTML.output;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
2 weeks ago, by wenzelm
clarified output;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
more GUI styles;
2 weeks ago, by wenzelm
clarified signature;
2 weeks ago, by wenzelm
tuned signature;
2 weeks ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
2 weeks ago, by wenzelm
tuned: fewer warnings in IntelliJ IDEA;
2 weeks ago, by wenzelm
tuned proofs;
2 weeks ago, by wenzelm
some bit operations on target numerals
2 weeks ago, by haftmann
explicit tests for target-language bit operations
2 weeks ago, by haftmann
avoid default simp rule which would produce strange recursive unfolding in presence of bit_eq_iff
2 weeks ago, by haftmann
update to xz-java-1.10 for further testing (see also fe7238c01809);
3 weeks ago, by wenzelm

less more | (0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 tip

isabelle