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 +100 +300 +1000 +3000 +10000 tip

document antiquotation @{footnote};
2015-11-04, by wenzelm
dummy input handler to imitate former read-only mode, which has changed its meaning in jedit-5.3.0 as mere hint for saving;
2015-11-04, by wenzelm
eliminated Nitpick's pedantic support for 'emdash'
2015-11-04, by blanchet
tuned;
2015-11-04, by wenzelm
NEWS;
2015-11-04, by wenzelm
Keyword 'rewrites' identifies rewrite morphisms.
2015-11-04, by ballarin
Qualifiers in locale expressions default to mandatory regardless of the command.
2015-11-04, by ballarin
merged
2015-11-03, by wenzelm
tuned signature;
2015-11-03, by wenzelm
prefer Isabelle/Scala Future;
2015-11-03, by wenzelm
prefer Isabelle/Scala Future;
2015-11-03, by wenzelm
tuned imports;
2015-11-03, by wenzelm
more direct task future implementation, with proper cancel operation;
2015-11-03, by wenzelm
tuned;
2015-11-03, by wenzelm
prefer ad-hoc non-worker threads;
2015-11-03, by wenzelm
clarified modules;
2015-11-03, by wenzelm
cancel already running request;
2015-11-03, by wenzelm
added acknowledgement in Binomial.thy
2015-11-03, by eberlm
Merged
2015-11-03, by eberlm
Added binomial identities to CONTRIBUTORS; small lemmas on of_int/pochhammer
2015-11-02, by eberlm
don't pollute local theory with needless names
2015-11-02, by blanchet
allow selectors and discriminators with same name as type
2015-11-02, by blanchet
make sure that function types are never generated as '> @ A @ B', but always as 'A > B'
2015-11-02, by blanchet
merged
2015-11-02, by wenzelm
avoid premature flushing and thus flashing of text area;
2015-11-02, by wenzelm
tuned whitespace;
2015-11-02, by wenzelm
clarified Query_Operation.State, with separate instance to avoid extra flush (see also 6ddeb83eb67a);
2015-11-02, by wenzelm
redundant;
2015-11-02, by wenzelm
tuned whitespace;
2015-11-02, by wenzelm
tuned document;
2015-11-02, by wenzelm
tuned document;
2015-11-02, by wenzelm
tuned document;
2015-11-02, by wenzelm
isabelle update_cartouches -t;
2015-11-02, by wenzelm
avoid highlighted area getting "stuck" after edit;
2015-11-02, by wenzelm
clarified completion of Isabelle symbols within document source;
2015-11-02, by wenzelm
more accurate imports: allow re-uses of base names in PIDE interaction (amending 60c159d490a2);
2015-11-02, by wenzelm
merged
2015-11-02, by nipkow
tuned names and optimized comparison order
2015-11-02, by nipkow
updated CVC4 component to deal with paths with whitespace
2015-11-02, by blanchet
Merged
2015-11-02, by eberlm
Rounding function, uniform limits, cotangent, binomial identities
2015-11-02, by eberlm
merged
2015-10-31, by wenzelm
back to traditional Metal as default, and thus evade current problems with Nimbus scrollbar slider;
2015-10-31, by wenzelm
global start time as reference point;
2015-10-31, by wenzelm
tuned signature -- clarified modules;
2015-10-30, by wenzelm
obsolete (see 9c6346319eee, 7924d61b50cf);
2015-10-30, by wenzelm
added splay trees
2015-10-30, by nipkow
added many small lemmas about setsum/setprod/powr/...
2015-10-29, by eberlm
no icons here -- not a standalone window;
2015-10-27, by wenzelm
workaround for problem with C-1, C-2, C-3 seen on Slovak QWERTY keyboard;
2015-10-27, by wenzelm
removed presumably obsolete workaround (see 7924d61b50cf);
2015-10-27, by wenzelm
Cauchy's integral formula, required lemmas, and a bit of reorganisation
2015-10-27, by paulson
merged
2015-10-26, by paulson
new lemmas about topology, etc., for Cauchy integral formula
2015-10-26, by paulson
adapted to 436b7fe89cdc
2015-10-26, by nipkow
clarified Latex.environment (again, amending e16649b70107): avoid additional paragraph, e.g. relevant for option [display];
2015-10-26, by wenzelm
added 234-trees (slow)
2015-10-25, by nipkow
added 234-Trees (slow)
2015-10-25, by nipkow
tuned
2015-10-25, by nipkow
more uniform command-line for "isabelle jedit" and the isabelle.Main app wrapper;
2015-10-24, by wenzelm

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

isabelle