descriptionThe Isabelle repository
ownerisabelle
last changeFri, 12 Feb 2016 22:36:48 +0100
changes
4 hours ago wenzelm 2016-02-12 merged default tip
10 hours ago wenzelm 2016-02-12 Added tag Isabelle2016-RC5 for changeset 45adb8dc84e1
29 hours ago wenzelm 2016-02-11 invoke perl system with explicit list -- to avoid extra /bin/sh and thus evade potential conflict of /bin/sh -> dash with bash on Debian/Ubuntu; Isabelle2016-RC5
34 hours ago wenzelm 2016-02-11 evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged;
2 days ago wenzelm 2016-02-10 tuned;
2 days ago wenzelm 2016-02-10 misc tuning;
2 days ago wenzelm 2016-02-10 misc tuning and updates;
2 days ago wenzelm 2016-02-10 misc tuning and updates;
2 days ago wenzelm 2016-02-10 misc tuning;
2 days ago wenzelm 2016-02-10 tuned whitespace;
...
tags
29 hours ago Isabelle2016-RC5
6 days ago Isabelle2016-RC4
11 days ago Isabelle2016-RC3
2 weeks ago Isabelle2016-RC2
4 weeks ago Isabelle2016-RC1
6 weeks ago Isabelle2016-RC0
8 months ago Isabelle2015
18 months ago Isabelle2014
2013-12-04 Isabelle2013-2
2013-11-09 Isabelle2013-1
...
branches
4 hours ago 1fd4831e9f93 default
...