Mercurial Mercurial > repos > isabelle / file revisions
summary | shortlog | changelog | graph | tags | bookmarks | branches | file | revisions | annotate | diff | comparison | rss | help
(0) tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/lib/Tools/makedist_bundle
2013-09-09 wenzelm override potential changes in $ISABELLE_HOME_USER/etc/settings; file | diff | annotate
2013-09-09 wenzelm generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit); file | diff | annotate
2013-09-09 wenzelm generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit); file | diff | annotate
2013-09-08 wenzelm more official lib/logo/isabelle.bmp; file | diff | annotate
2013-09-08 wenzelm use windows_app based on WinRun4J; file | diff | annotate
2013-09-07 wenzelm imitate "isabelle java" and "isabelle jedit" wrt. classpath and options (see also a221a4fdb5a0); file | diff | annotate
2013-09-07 wenzelm generate application wrapper for Linux; file | diff | annotate
2013-09-05 wenzelm provide file indicator; file | diff | annotate
2013-09-05 wenzelm standardize jdk name; file | diff | annotate
2013-07-16 wenzelm overwrite target; file | diff | annotate
2013-07-16 wenzelm fully-automated packaging (requires Mac OS X); file | diff | annotate
2013-07-16 wenzelm dispose intermediate 7z archive; file | diff | annotate
2013-07-16 wenzelm more robust executable path specifications; file | diff | annotate
2013-07-16 wenzelm build Windows application on the spot, using Unix tools; file | diff | annotate
2013-07-15 wenzelm produce 7z archive for windows and preserve symlinks separately; file | diff | annotate
2013-07-08 wenzelm allow whitespace in file names; file | diff | annotate
2013-07-06 wenzelm more release notes according to availability in proper release vs. repository clone; file | diff | annotate
2013-07-02 wenzelm postinstall: recover Cygwin permissions; file | diff | annotate
2013-01-28 wenzelm separate makedist_bundle for each platform family, which is more useful for manual use; file | diff | annotate | base
less more (0) tip
isabelle