isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip

lib/scripts/getfunctions

2018-12-05	wenzelm	more robust: "gtar" is default name in Homebrew;	file \| diff \| annotate
2018-11-29	wenzelm	clarified "hidden" terminology;	file \| diff \| annotate
2018-11-24	wenzelm	more shell functions;	file \| diff \| annotate
2018-11-10	wenzelm	support for user-defined Isabelle/Scala command-line tools;	file \| diff \| annotate
2018-11-08	wenzelm	always insist in specified resolver/compiler version;	file \| diff \| annotate
2018-11-07	wenzelm	more general support for Isabelle/PIDE file formats -- less hardwired Bibtex operations;	file \| diff \| annotate
2018-10-17	wenzelm	more portable;	file \| diff \| annotate
2018-10-17	wenzelm	tuned;	file \| diff \| annotate
2018-10-17	wenzelm	isabelle_stack as portable shell function;	file \| diff \| annotate
2018-10-08	wenzelm	isabelle_opam as portable shell function;	file \| diff \| annotate
2017-09-15	wenzelm	avoid local shell variables intruding the resulting environment (via "set -o allexport" in getsettings);	file \| diff \| annotate
2016-10-02	wenzelm	updated according to 85c83757788c;	file \| diff \| annotate
2016-03-13	wenzelm	prefer Scala over bash function;	file \| diff \| annotate
2016-02-25	wenzelm	slightly more robust re-initialization;	file \| diff \| annotate
2016-02-25	wenzelm	within the Isabelle environment, main executables are always within PATH;	file \| diff \| annotate
2016-02-25	wenzelm	avoid global state change;	file \| diff \| annotate
2016-02-25	wenzelm	more robust treatment of shell functions: dynamic_env recreates lost definitions on demand, e.g. after going through aggressive versions of /bin/sh -> dash;	file \| diff \| annotate

less more (0) tip

isabelle