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

added testing of tptp problem names;
2012-04-17, by sultana
tidied exception-handling relating to tptp problem names;
2012-04-17, by sultana
updated TPTP's ROOT.ML to include TPTP_Interpret;
2012-04-17, by sultana
retain ISABELLE_HOME_WINDOWS which is useful for jEdit to fold file names symbolically, but without DOS expansion that causes problems with Cygwin/Posix roundtrip (cf. 5a7903ba2dac);
2012-04-17, by wenzelm
updated to scala-2.9.2;
2012-04-17, by wenzelm
make transfer method more deterministic by using SOLVED' on some subgoals
2012-04-17, by huffman
accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
2012-04-17, by wenzelm
tuned the setup of lifting; generate transfer rules for typedef and Quotient thms
2012-04-17, by kuncar
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

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

isabelle