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 +30000 tip

improved exception-handling in tptp;
2012-04-17, by sultana
simplified interpretation of '$i';
2012-04-17, by sultana
more cleaning of tptp tests;
2012-04-17, by sultana
improved tptp_graph robustness by relying on thy;
2012-04-17, by sultana
improved tptp interpretation test thy
2012-04-17, by sultana
tuned comments
2012-04-17, by sultana
improved handling of quoted names in tptp import
2012-04-17, by sultana
improved naming of 'distinct objects' in tptp import
2012-04-17, by sultana
reorganised tptp testing thys
2012-04-17, by sultana
enforced 'include' restrictions
2012-04-17, by sultana
tuned
2012-04-17, by sultana
split TPTP_Parser thy -- parser can rely on smaller image, whereas TPTP_Interpret requires HOL;
2012-04-17, by sultana
updated rel_comp ~> relcomp (cf. e1b761c216ac);
2012-04-17, by wenzelm
merged
2012-04-17, by blanchet
more helpful error message
2012-04-17, by blanchet
avoid option introduced in E 1.2 when invoking older versions of E
2012-04-17, by blanchet
go back to the explicit compisition of quotient theorems
2012-04-17, by kuncar
add theory data for relator identity rules;
2012-04-17, by huffman
note the Quotient theorem in quotient_type
2012-04-17, by kuncar
leave Lifting prefix
2012-04-16, by kuncar
more user aliases;
2012-04-16, by wenzelm
redirect bash stderr to Isabelle warning as appropriate -- avoid raw process error output which may either get ignored or overload PIDE syslog in extreme cases;
2012-04-16, by wenzelm
updated and clarified OF/MRS;
2012-04-16, by wenzelm
document attribute "abs_def";
2012-04-16, by wenzelm
repaired some damage caused by merging with version from 12 days ago (cf. 8c8f27864ed1);
2012-04-16, by wenzelm
merged
2012-04-16, by nipkow
refined new tutorial announcement
2012-04-04, by nipkow
merged
2012-04-16, by bulwahn
duplicate "relpow" facts for "relpowp" (to emphasize that both worlds exist and obtain better search results with "find_theorems")
2012-04-16, by Christian Sternagel
updated for release;
2012-04-16, by wenzelm
more precise handling of java failure, due to missing ISABELLE_JDK_HOME;
2012-04-16, by wenzelm
tuned some proofs;
2012-04-16, by huffman
centralized enriched_type declaration, thanks to in-situ available Isar commands
2012-04-15, by haftmann
tuned whitespace
2012-04-15, by haftmann
replace locale 'UFT' with new un-named context block feature;
2012-04-15, by huffman
more CONTRIBUTORS;
2012-04-15, by wenzelm
some coverage of bundled declarations;
2012-04-15, by wenzelm
more uniform outline;
2012-04-15, by wenzelm
some coverage of unnamed contexts, which can be nested within other targets;
2012-04-15, by wenzelm
gathered mirabelle_sledgehammer's hardcoded defaults
2012-04-14, by sultana
Mirabelle's 'usage' description relating to Sledgehammer now synchs with the ML code of the Mirabelle-Sledgehammer action
2012-04-14, by sultana
Mirabelle now gives usage info when no arguments given
2012-04-14, by sultana
switched from using sed to perl in mirabelle tool
2012-04-14, by sultana
renamed mirabelle Tools directory to Actions, to make consistent with 'usage' description;
2012-04-14, by sultana
refined Cooper.tac / "presburger" method: Subgoal.FOCUS_PARAMS allows to solve more problems with outer quantifiers, e.g "!!x. [| 0 <= (x::int); x div 2 < f x |] ==> x < f x * 2";
2012-04-14, by wenzelm
merged;
2012-04-14, by wenzelm
removed HOL/ex/Set_Algebras -- outdated clone, obsolete as example
2012-04-14, by krauss
aligned tptp_graph dependencies to Isabelle conventions;
2012-04-14, by sultana
more ambitious isatest settings using polyml-svn (e.g. 1487);
2012-04-14, by wenzelm
use official TextArea.isCaretVisible and thus follow the "blink" flag;
2012-04-14, by wenzelm
display more memory;
2012-04-14, by wenzelm
keyword ";" is declared via prover (as "minor", not "diag");
2012-04-14, by wenzelm
outermost SELECT_GOAL potentially improves performance;
2012-04-14, by wenzelm
report ISABELLE_HOME_WINDOWS;
2012-04-14, by wenzelm
chmod +x;
2012-04-14, by wenzelm
more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
2012-04-14, by wenzelm
misc tuning for release;
2012-04-14, by wenzelm
revert changes of already published NEWS;
2012-04-14, by wenzelm
some updates for release;
2012-04-14, by wenzelm
more robust treatment of ISABELLE_HOME on windows: eliminate spaces and funny unicode characters in directory name via DOS~1 notation;
2012-04-14, by wenzelm

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

isabelle