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/makebundle
2012-05-02 wenzelm save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows; file | diff | annotate
2012-04-29 wenzelm more windows-friendly presentation of main text files; file | diff | annotate
2012-04-25 wenzelm register polyml executables so that Cygwin rebaseall will see them; file | diff | annotate
2012-04-25 wenzelm move polyml within Cygwin /usr/local to simplify its rebasing; file | diff | annotate
2012-04-24 wenzelm augment Isabelle home directory more systematically; file | diff | annotate
2012-04-23 wenzelm bundle Cygwin-Terminal.bat; file | diff | annotate
2012-04-23 wenzelm avoid conflict of Isabelle vs. Isabelle.exe on Cygwin; file | diff | annotate
2012-04-22 wenzelm bundle Isabelle.exe; file | diff | annotate
2012-04-17 wenzelm accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before; file | diff | annotate
2011-09-18 wenzelm tweak keyboard shortcuts for Mac OS X; file | diff | annotate
2011-09-17 wenzelm specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies; file | diff | annotate
2011-09-07 wenzelm platform-specific look and feel; file | diff | annotate
2011-01-30 wenzelm delete .elc files unconditionally -- they cause too many incompatibilities; file | diff | annotate
2011-01-24 wenzelm delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x; file | diff | annotate
2011-01-19 wenzelm Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow; file | diff | annotate
2011-01-14 wenzelm updated for release; file | diff | annotate
2010-06-07 wenzelm proper target directory; file | diff | annotate
2010-06-06 wenzelm single heaps archive; file | diff | annotate
2010-06-04 wenzelm one all-inclusive bundle for each platform; file | diff | annotate
2009-11-26 wenzelm re-package Isabelle distribution with add-on components; file | diff | annotate
less more (0) tip
isabelle