[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/, sci-mathematics/isabelle/files/, profiles/

2019-09-14 Thread Michał Górny
commit: 7d2aafd09b8f128da7201c48b793607077be Author: Michał Górny gentoo org> AuthorDate: Sat Sep 14 15:44:37 2019 + Commit: Michał Górny gentoo org> CommitDate: Sat Sep 14 15:44:37 2019 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=7d2aafd0 sci-mat

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/

2018-11-01 Thread Patrice Clement
commit: 3e5dff3bef6f13d5d3e6fce7fc41f60525e36ea0 Author: Patrice Clement gentoo org> AuthorDate: Thu Nov 1 22:25:37 2018 + Commit: Patrice Clement gentoo org> CommitDate: Thu Nov 1 22:26:20 2018 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=3e5dff3b s

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/

2017-09-06 Thread Michał Górny
commit: 61bcb30dfd5e2ddd73b2c6c804b0514a9dc3565e Author: Francesco Turco fastmail fm> AuthorDate: Sun Sep 3 16:27:57 2017 + Commit: Michał Górny gentoo org> CommitDate: Wed Sep 6 20:59:17 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=61bcb30d sci

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/files/

2017-02-01 Thread David Seifert
commit: b9ce9015c6035daa3519c3ccca481bb51ffb7d32 Author: Michael Mair-Keimberger (asterix) gmail com> AuthorDate: Wed Feb 1 18:42:47 2017 + Commit: David Seifert gentoo org> CommitDate: Wed Feb 1 22:39:14 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/files/, sci-mathematics/isabelle/

2017-01-28 Thread Mark Wright
commit: ed679cff58321c6cd8757ba8d7a5d29b463bd6f9 Author: Mark Wright gentoo org> AuthorDate: Sat Jan 28 08:31:25 2017 + Commit: Mark Wright gentoo org> CommitDate: Sat Jan 28 08:31:25 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=ed679cff sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/, sci-mathematics/isabelle/files/

2017-01-02 Thread Mark Wright
commit: 08c4c3f235caed7161be8696b7019064e20a4378 Author: Mark Wright gentoo org> AuthorDate: Mon Jan 2 22:47:13 2017 + Commit: Mark Wright gentoo org> CommitDate: Mon Jan 2 22:47:13 2017 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=08c4c3f2 sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/files/, sci-mathematics/isabelle/

2016-03-06 Thread James Le Cuirot
commit: 1db4669fbb720d89e5420eb5a5b1c7b0ca508aa6 Author: James Le Cuirot gentoo org> AuthorDate: Sun Mar 6 12:52:23 2016 + Commit: James Le Cuirot gentoo org> CommitDate: Sun Mar 6 13:01:33 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=1db4669f s

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/

2016-02-16 Thread Mark Wright
commit: 18059e3fdbc2871cca2aacd82de1811c278afffc Author: Mark Wright gentoo org> AuthorDate: Tue Feb 16 11:41:53 2016 + Commit: Mark Wright gentoo org> CommitDate: Tue Feb 16 11:41:53 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=18059e3f sci-mathe

[gentoo-commits] repo/gentoo:master commit in: sci-mathematics/isabelle/, sci-mathematics/isabelle/files/

2016-02-16 Thread Mark Wright
commit: e03efabf52fd874c48d7e3bfdc6a436a044bd1a3 Author: Mark Wright gentoo org> AuthorDate: Tue Feb 16 11:18:46 2016 + Commit: Mark Wright gentoo org> CommitDate: Tue Feb 16 11:18:46 2016 + URL:https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=e03efabf sci-mathe