index
:
gentoo/gentoo.git
master
sakura-update
forked from gentoo/gentoo
kballou
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
sci-mathematics
/
isabelle
Commit message (
Expand
)
Author
Age
*
sci-mathematics/isabelle: use HTTPS for links to dev.gentoo.org
Francesco Turco
2017-09-06
*
Drop $Id$ per council decision in bug #611234.
Robin H. Johnson
2017-02-28
*
sci-mathematics/isabelle: remove unused patch
Michael Mair-Keimberger (asterix)
2017-02-01
*
sci-mathematics/isabelle: Remove old
Mark Wright
2017-01-28
*
sci-mathematics/isabelle: Bump to 2016.1. Thanks to David E. Narv?ez for
Mark Wright
2017-01-03
*
sci-mathematics/isabelle: Remove old
James Le Cuirot
2016-03-06
*
sci-mathematics/isabelle: Remove sci-mathematics/csdp, as found existing sci-...
Mark Wright
2016-02-16
*
sci-mathematics/isabelle: Bump to 2015, check diskspace and memory.
Mark Wright
2016-02-16
*
Set appropriate maintainer types in metadata.xml (GLEP 67)
Michał Górny
2016-01-24
*
Replace all herds with appropriate projects (GLEP 67)
Michał Górny
2016-01-24
*
Unify quoting in metadata.xml files for machine processing
Michał Górny
2016-01-24
*
Revert DOCTYPE SYSTEM https changes in metadata.xml
Mike Gilbert
2015-08-24
*
Use https by default
Justin Lecher
2015-08-24
*
proj/gentoo: Initial commit
Robin H. Johnson
2015-08-08