isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

Admin/lib/Tools/makedist_cygwin

2016-10-22	wenzelm	pro-forma update to cygwin_2016-1 (web service still missing);	file \| diff \| annotate
2016-07-14	wenzelm	prefer curl: presumably more portable and versatile;	file \| diff \| annotate
2015-12-21	wenzelm	updated Cygwin (somewhere after 1.7.35-1);	file \| diff \| annotate
2015-12-10	wenzelm	current Cygwin snapshot in preparation of release;	file \| diff \| annotate
2015-04-10	wenzelm	updated Cygwin near 1.7.35-1;	file \| diff \| annotate
2014-10-24	wenzelm	discontinued python from standard system environment;	file \| diff \| annotate
2014-06-26	wenzelm	updated cygwin on server;	file \| diff \| annotate
2014-05-30	wenzelm	updated cygwin -- include perl_vendor for libwww-perl;	file \| diff \| annotate
2014-05-21	wenzelm	updated cygwin more thoroughly;	file \| diff \| annotate
2014-05-20	wenzelm	updated cygwin;	file \| diff \| annotate
2013-09-16	wenzelm	updated cygwin snapshot;	file \| diff \| annotate
2013-01-17	wenzelm	proper permissions;	file \| diff \| annotate
2013-01-14	wenzelm	include /isabelle/rebaseall in autorebaseall, which is run after installation of further packages;	file \| diff \| annotate
2013-01-14	wenzelm	avoid odd copies of local configuration or backup files;	file \| diff \| annotate
2013-01-11	wenzelm	prefer MS-DOS-style temp;	file \| diff \| annotate
2013-01-11	wenzelm	more Cygwin packages to help out in a pitch -- NB: make is still needed for legacy usedir;	file \| diff \| annotate
2013-01-11	wenzelm	refer to cygwin mirror with static copy of setup.ini;	file \| diff \| annotate
2013-01-10	wenzelm	tuned;	file \| diff \| annotate
2013-01-10	wenzelm	clarified cygwin/isabelle scripts;	file \| diff \| annotate
2013-01-10	wenzelm	more systematic makedist_cygwin;	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom