> I have just installed the Isabelle development repository on one of the > remote machines. > With the new build system, the component management and PolyML 5.5, I > got a system up and running in less than 20 minutes. > In former times, it usually took me 20 minutes just to get an updated > Isabelle again working on some remote machine. > > I want to thank everyone involved for these great improvements.
Me too, cf. README_REPOSITORY: > Quick start in 20min > -------------------- > > 1. Ensure that "hg" (Mercurial) is installed; see also > http://www.selenic.com/mercurial > > 2. Create file $HOME/.isabelle/etc/settings and insert the following > line near its beginning: > > init_components "$HOME/.isabelle/contrib" > "$ISABELLE_HOME/Admin/components/main" > > 3. Execute shell commands as follows: > > hg clone http://isabelle.in.tum.de/repos/isabelle > > ./isabelle/bin/isabelle components -a > > ./isabelle/bin/isabelle build -b HOL > > ./isabelle/bin/isabelle jedit Life has never been so simple! Florian -- PGP available: http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de
signature.asc
Description: OpenPGP digital signature
_______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
