isabelle: Graph

Mercurial Mercurial > repos > isabelle / graph

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

obsolete (cf. ML-Systems/polyml_common.ML);
2008-03-06, by wenzelm
renamed polyml-old-basis.ML to polyml_old_basis.ML;
2008-03-06, by wenzelm
rearrangements to make latest Poly/ML the default, not old 4.x;
2008-03-06, by wenzelm
cleaned-up ML-Systems;
2008-03-06, by wenzelm
tuned comment;
2008-03-06, by wenzelm
removed obsolete THIS_IS_ISABELLE_BUILD feature;
2008-03-06, by wenzelm
removed obsolete THIS_IS_ISABELLE_BUILD feature: change environment after getsettings (works due to static scoping);
2008-03-06, by wenzelm
removed obsolete THIS_IS_ISABELLE_BUILD feature;
2008-03-06, by wenzelm
removed obsolete THIS_IS_ISABELLE_BUILD/MAKEBIN feature;
2008-03-06, by wenzelm
renamed test_markup to output_markup;
2008-03-05, by wenzelm
IsabelleProcess.output_markup;
2008-03-05, by wenzelm
closeup: minor tuning of term traversal;
2008-03-05, by wenzelm
ISABELLE_LINE_EDITOR: prefer rlwrap, which passes interrupts properly;
2008-03-05, by wenzelm
explicit referencing of background facts;
2008-03-05, by wenzelm
explicit referencing of background facts;
2008-03-05, by wenzelm
explicit referencing of background facts;
2008-03-05, by wenzelm
indexing literal facts: exclude background context;
2008-03-05, by wenzelm
put_thms: do not index facts here (affects prems/this/calculation in particular);
2008-03-05, by wenzelm
explicit referencing of background facts;
2008-03-05, by wenzelm
HOL/Library/RBT.thy;
2008-03-05, by wenzelm
NEWS: RBTs, renamings in ZF
2008-03-05, by krauss
Use conversions instead of simplifier. tuned
2008-03-05, by krauss
added new example
2008-03-04, by urbanc
tuned
2008-03-03, by haftmann
continued localization
2008-03-03, by haftmann
new theory of red-black trees, an efficient implementation of finite maps.
2008-03-03, by krauss
Generalized Zorn and added well-ordering theorem
2008-03-02, by nipkow
tuned ML code, more antiquotations;
2008-03-01, by wenzelm
misc cleanup of embedded ML code;
2008-03-01, by wenzelm
added @{const} antiquotation;
2008-03-01, by wenzelm

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

isabelle