23 months ago wenzelm 2016-02-15 proper syntax; Isabelle2016
23 months ago blanchet 2016-02-17 tuning
23 months ago blanchet 2016-02-17 making 'pred_inject' a first-class BNF citizen
23 months ago blanchet 2016-02-17 refactoring
23 months ago traytel 2016-02-17 adjust 112eefe85ff0 to 532ad8de5d61
23 months ago traytel 2016-02-17 NEWS
23 months ago traytel 2016-02-17 correct (apparently untested) e1698a9578ea
23 months ago traytel 2016-02-17 document predicator in datatypes
23 months ago traytel 2016-02-17 derive transfer rule for predicator
23 months ago traytel 2016-02-17 call the predicator of list list_all
23 months ago blanchet 2016-02-17 document new 'primrec' feature
23 months ago blanchet 2016-02-17 allow predicator instead of map function in 'primrec'
23 months ago traytel 2016-02-16 simp rules for fsts, snds, setl, setr
23 months ago traytel 2016-02-16 make predicator a first-class bnf citizen
23 months ago blanchet 2016-02-16 avoid duplicate theorems in 'primrec's result when invoked programmatically
23 months ago blanchet 2016-02-15 tuning
23 months ago blanchet 2016-02-15 keep 'ctor_iff_dtor' theorem around in BNF FP database
23 months ago blanchet 2016-02-15 tuning
23 months ago blanchet 2016-02-15 rephrased message
23 months ago blanchet 2016-02-15 clearer error message
23 months ago blanchet 2016-02-15 document a limitation of 'primcorec'
23 months ago blanchet 2016-02-15 use 'undefined' instead of 'Eps'
23 months ago wenzelm 2016-02-14 more explicit dummy proofs;
23 months ago wenzelm 2016-02-14 more explicit dummy proofs;
23 months ago wenzelm 2016-02-14 unused;
23 months ago wenzelm 2016-02-14 command '\<proof>' is an alias for 'sorry', with different typesetting;
23 months ago wenzelm 2016-02-14 more antiquotations;
23 months ago wenzelm 2016-02-14 more gentle termination (like Bash.multi_kill without signal) to give prover a chance to conclude;
23 months ago wenzelm 2016-02-14 tuned whitespace;
23 months ago wenzelm 2016-02-14 more careful quoting for the sake of Windows;
23 months ago wenzelm 2016-02-14 tuned;
23 months ago wenzelm 2016-02-14 tuned;
23 months ago wenzelm 2016-02-14 tuned signature;
23 months ago wenzelm 2016-02-14 more direct invocation of ISABELLE_BASH_PROCESS on Windows;
23 months ago wenzelm 2016-02-14 tuned signature;
23 months ago wenzelm 2016-02-14 tuned signature;
23 months ago wenzelm 2016-02-13 updated bash_process;
23 months ago wenzelm 2016-02-13 actually wait for forked process and return its status -- this is not meant to be a daemon;
23 months ago wenzelm 2016-02-13 tuned signature;
23 months ago wenzelm 2016-02-13 tuned signature -- more like ML version;
23 months ago wenzelm 2016-02-13 suppress empty messages as in ML;
23 months ago wenzelm 2016-02-13 clarified bash process -- similar to ML version;
23 months ago wenzelm 2016-02-13 clarified bash process;
23 months ago wenzelm 2016-02-13 tuned according to ML version;
23 months ago wenzelm 2016-02-13 clarified name;
23 months ago wenzelm 2016-02-13 more flexible command-line; flush before exit/fork/exec, to make double sure that output is shipped;
23 months ago wenzelm 2016-02-13 tuned signature;
23 months ago wenzelm 2016-02-13 isabelle update_cartouches -c -t;
23 months ago wenzelm 2016-02-13 practically obsolete;
23 months ago wenzelm 2016-02-13 obsolete -- no such conditions in main Isabelle repository;
23 months ago wenzelm 2016-02-13 tuned header;
23 months ago wenzelm 2016-02-13 clarified ISABELLE_FULL_TEST vs. benchmarks: src/Benchmarks is not in ROOTS and thus not covered by "isabelle build -a" by default;
23 months ago wenzelm 2016-02-13 unconditional test -- nothing special here;
23 months ago wenzelm 2016-02-12 merged
23 months ago wenzelm 2016-02-12 Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
23 months ago wenzelm 2016-02-11 invoke perl system with explicit list -- to avoid extra /bin/sh and thus evade potential conflict of /bin/sh -> dash with bash on Debian/Ubuntu;
23 months ago wenzelm 2016-02-11 evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
23 months ago wenzelm 2016-02-10 tuned;
23 months ago wenzelm 2016-02-10 misc tuning;
23 months ago wenzelm 2016-02-10 misc tuning and updates;