Log of /sci-mathematics/isabelle/metadata.xml

Parent Directory Parent Directory | Revision Log Revision Log

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

Revision 1.4 - (view) (download) (as text) (annotate) - [select for diffs]
Fri May 3 14:53:49 2013 UTC (4 years, 6 months ago) by jer
Branch: MAIN
Changes since 1.3: +1 -1 lines
Diff to previous 1.3
Fix XML.

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

Revision 1.3 - (view) (download) (as text) (annotate) - [select for diffs]
Wed May 30 00:45:06 2012 UTC (5 years, 5 months ago) by gienah
Branch: MAIN
Changes since 1.2: +4 -0 lines
Diff to previous 1.2
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: x86_64)

Revision 1.2 - (view) (download) (as text) (annotate) - [select for diffs]
Mon Jan 30 06:54:53 2012 UTC (5 years, 9 months ago) by gienah
Branch: MAIN
Changes since 1.1: +3 -0 lines
Diff to previous 1.1
Fix bug #400961, thanks to Mr. Anderson for report and fix.

(Portage version: x86_64)

Revision 1.1 - (view) (download) (as text) (annotate) - [select for diffs]
Sun Jan 8 12:35:43 2012 UTC (5 years, 10 months ago) by gienah
Branch: MAIN
New ebuild, thanks Mr. Anderson for earlier version, fixes #397995

(Portage version: 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