/[gentoo-x86]/sci-mathematics/isabelle/Manifest
Gentoo

Log of /sci-mathematics/isabelle/Manifest

Parent Directory Parent Directory | Revision Log Revision Log


Links to HEAD: (view) (download) (annotate)

Revision 1.12 - (view) (download) (annotate) - [select for diffs]
Tue Jan 7 13:36:39 2014 UTC (11 months, 1 week ago) by tomwij
Branch: MAIN
CVS Tags: HEAD
Changes since 1.11: +12 -8 lines
Diff to previous 1.11
[QA] Change !use by ! use such that it negates the USE flag instead of expanding history. Revision bump to ensure users get the fix accordingly.

(Portage version: HEAD/cvs/Linux x86_64, signed Manifest commit with key 6D34E57D)


Revision 1.11 - (view) (download) (annotate) - [select for diffs]
Sun Sep 1 08:30:38 2013 UTC (15 months, 2 weeks ago) by zmedico
Branch: MAIN
Changes since 1.10: +5 -5 lines
Diff to previous 1.10
Fix SRC_URI and HOMEPAGE (case-sensitive).

(Portage version: 2.2.1/cvs/Linux i686, signed Manifest commit with key 0xFDE8EF85AE5719A3)


Revision 1.10 - (view) (download) (annotate) - [select for diffs]
Sat Aug 31 09:24:24 2013 UTC (15 months, 3 weeks ago) by gienah
Branch: MAIN
Changes since 1.9: +12 -5 lines
Diff to previous 1.9
Bump isabelle to 2013, fixes bug 468344

(Portage version: 2.2.1/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.9 - (view) (download) (annotate) - [select for diffs]
Fri May 3 14:53:50 2013 UTC (19 months, 2 weeks ago) by jer
Branch: MAIN
Changes since 1.8: +5 -5 lines
Diff to previous 1.8
Fix XML.

(Portage version: 2.2.0_alpha173/cvs/Linux x86_64, signed Manifest commit with key A792A613)


Revision 1.8 - (view) (download) (annotate) - [select for diffs]
Sun Dec 9 09:27:56 2012 UTC (2 years ago) by gienah
Branch: MAIN
Changes since 1.7: +7 -5 lines
Diff to previous 1.7
Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some functionality, like using Simpl/Vcg.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.7 - (view) (download) (annotate) - [select for diffs]
Wed Dec 5 10:09:41 2012 UTC (2 years ago) by gienah
Branch: MAIN
Changes since 1.6: +6 -6 lines
Diff to previous 1.6
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail.

(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.6 - (view) (download) (annotate) - [select for diffs]
Thu Sep 20 13:07:56 2012 UTC (2 years, 3 months ago) by gienah
Branch: MAIN
Changes since 1.5: +22 -22 lines
Diff to previous 1.5
isabelle doc requires a symlink

(Portage version: 2.1.11.18/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.5 - (view) (download) (annotate) - [select for diffs]
Fri Jun 15 14:10:54 2012 UTC (2 years, 6 months ago) by gienah
Branch: MAIN
Changes since 1.4: +7 -5 lines
Diff to previous 1.4
Patch signal handling: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2732 Change "Ignoring redundant equation" warning to an error to avoid proofs being undertaken on the basis of a mistaken definition: http://article.gmane.org/gmane.science.mathematics.logic.isabelle.devel/2780

(Portage version: 2.1.10.65/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.4 - (view) (download) (annotate) - [select for diffs]
Wed May 30 00:45:24 2012 UTC (2 years, 6 months ago) by gienah
Branch: MAIN
Changes since 1.3: +15 -5 lines
Diff to previous 1.3
Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle).

(Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Mon Jan 30 06:55:10 2012 UTC (2 years, 10 months ago) by gienah
Branch: MAIN
Changes since 1.2: +6 -6 lines
Diff to previous 1.2
Fix bug #400961, thanks to Mr. Anderson for report and fix.

(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Mon Jan 9 13:49:42 2012 UTC (2 years, 11 months ago) by gienah
Branch: MAIN
Changes since 1.1: +5 -5 lines
Diff to previous 1.1
Thanks to few_ and xarthisius for reviewing, remove pdf use flag, add || die to cd/pushd and tests. Require polyml with -portable.

(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Sun Jan 8 12:36:05 2012 UTC (2 years, 11 months ago) by gienah
Branch: MAIN
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995

(Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 618E971F)


This form allows you to request diffs between any two revisions of this file. For each of the two "sides" of the diff, select a symbolic revision name using the selection box, or choose 'Use Text Field' and enter a numeric revision.

  Diffs between and
  Type of Diff should be a

Sort log by:

Sticky Tag:

  ViewVC Help
Powered by ViewVC 1.1.20