/[gentoo-x86]/sci-mathematics/isabelle/isabelle-2011.1.ebuild
Gentoo

Log of /sci-mathematics/isabelle/isabelle-2011.1.ebuild

Parent Directory Parent Directory | Revision Log Revision Log


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

Revision 1.3 - (view) (download) (annotate) - [select for diffs]
Mon Jan 30 06:54:53 2012 UTC (2 years, 10 months ago) by gienah
Branch: MAIN
CVS Tags: HEAD
Changes since 1.2: +2 -2 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)


Revision 1.2 - (view) (download) (annotate) - [select for diffs]
Mon Jan 9 13:49:21 2012 UTC (2 years, 11 months ago) by gienah
Branch: MAIN
Changes since 1.1: +17 -23 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)


Revision 1.1 - (view) (download) (annotate) - [select for diffs]
Sun Jan 8 12:35:43 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)


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