Java Mint: A Multi-stage Extension of Java

More information:

  • Instructions on using DrJava with Mint
    • Note: Java Mint requires Java 6. If you have a 32-bit Mac for which Apple does not offer Java 6, you can use Soylatte, but that means DrJava needs to be run under Soylatte as well. Soylatte requires X11 to display graphical user interfaces (GUIs).

More details to come soon. For now, please find the most recent distribution attached.


YourKit is kindly supporting open source projects with its full-featured Java Profiler. YourKit, LLC is the creator of innovative and intelligent tools for profiling Java and .NET applications. Take a look at YourKit's leading software products: YourKit Java Profiler and YourKit .NET Profiler.

Topic attachments
I Attachment Action Size Date Who Comment
elsegz JavaMint-r13468.tar.gz manage 1829.5 K 04 Jun 2009 - 23:00 UnknownUser Java Mint, June 4, 2009 Release
elsegz JavaMint-r13828.tar.gz manage 1852.9 K 22 Jul 2009 - 02:46 MathiasRicken Java Mint, July 21, 2009 Release
zipzip JavaMint-r13871-binaries.zip manage 5242.5 K 03 Sep 2009 - 18:52 MathiasRicken Java Mint, September 3, 2009 Release (Binaries Only)
elsegz JavaMint-r13871.tar.gz manage 6903.1 K 03 Sep 2009 - 18:51 MathiasRicken Java Mint, September 3, 2009 Release
zipzip JavaMint-r13960-binaries.zip manage 5245.3 K 05 Sep 2009 - 18:21 MathiasRicken Java Mint, September 5, 2009 Release (Binaries Only)
elsegz JavaMint-r13960.tar.gz manage 6903.0 K 05 Sep 2009 - 18:18 MathiasRicken Java Mint, September 5, 2009 Release
zipzip JavaMint-r13998-binaries.zip manage 5241.3 K 14 Sep 2009 - 23:49 MathiasRicken Java Mint, September 14, 2009 Release (Binaries Only)
elsegz JavaMint-r13998.tar.gz manage 6902.8 K 14 Sep 2009 - 23:40 MathiasRicken Java Mint, September 14, 2009 Release
zipzip JavaMint-r14089-binaries.zip manage 5244.4 K 23 Sep 2009 - 23:04 MathiasRicken Java Mint, September 23, 2009 Release (Binaries Only)
elsegz JavaMint-r14089.tar.gz manage 6902.4 K 23 Sep 2009 - 23:02 MathiasRicken Java Mint, September 23, 2009 Release
zipzip JavaMint-r14124-binaries.zip manage 5250.9 K 28 Sep 2009 - 04:42 MathiasRicken Java Mint, September 27, 2009 Release (Binaries Only)
elsegz JavaMint-r14124.tar.gz manage 6911.6 K 28 Sep 2009 - 04:37 MathiasRicken Java Mint, September 27, 2009 Release
zipzip JavaMint-r14135-binaries.zip manage 5257.1 K 29 Sep 2009 - 04:40 MathiasRicken Java Mint, September 28, 2009 Release (Binaries Only)
elsegz JavaMint-r14135.tar.gz manage 6918.7 K 29 Sep 2009 - 04:35 MathiasRicken Java Mint, September 28, 2009 Release
zipzip JavaMint-r14413-binaries.zip manage 5252.8 K 29 Oct 2009 - 19:11 MathiasRicken Java Mint, October 29, 2009 Release (Binaries Only)
elsegz JavaMint-r14413.tar.gz manage 6914.3 K 29 Oct 2009 - 19:08 MathiasRicken Java Mint, October 29, 2009 Release
zipzip JavaMint-r14460-binaries.zip manage 5260.1 K 04 Nov 2009 - 16:34 MathiasRicken Java Mint, November 4, 2009 Release (Binaries Only)
elsegz JavaMint-r14460.tar.gz manage 6921.7 K 04 Nov 2009 - 16:27 MathiasRicken Java Mint, November 4, 2009 Release
zipzip JavaMint-r14577-binaries.zip manage 5260.8 K 14 Nov 2009 - 04:17 MathiasRicken Java Mint, November 13, 2009 Release (Binaries Only)
elsegz JavaMint-r14577.tar.gz manage 6940.6 K 14 Nov 2009 - 04:16 MathiasRicken Java Mint, November 13, 2009 Release
zipzip JavaMint-r14733-binaries.zip manage 5284.0 K 10 Feb 2010 - 22:08 MathiasRicken Java Mint, February 10, 2010 Release (Binaries Only)
elsegz JavaMint-r14733.tar.gz manage 6984.6 K 10 Feb 2010 - 22:08 MathiasRicken Java Mint, February 10, 2010 Release
zipzip JavaMint-r15085-binaries.zip manage 5290.5 K 12 Feb 2010 - 16:18 MathiasRicken Java Mint, February 12, 2010 Release (Binaries Only)
elsegz JavaMint-r15085.tar.gz manage 6959.6 K 12 Feb 2010 - 16:26 MathiasRicken Java Mint, February 12, 2010 Release
zipzip JavaMint-r15116-binaries.zip manage 5298.4 K 18 Feb 2010 - 02:26 MathiasRicken Java Mint, February 17, 2010 Release (Binaries Only)
elsegz JavaMint-r15116.tar.gz manage 6967.8 K 18 Feb 2010 - 02:25 MathiasRicken Java Mint, February 17, 2010 Release
zipzip JavaMint-r15405-binaries.zip manage 5300.0 K 08 May 2010 - 11:47 MathiasRicken Java Mint, May 8, 2010 Release (Binaries Only)
elsegz JavaMint-r15405.tar.gz manage 6969.0 K 08 May 2010 - 13:26 MathiasRicken Java Mint, May 8, 2010 Release
zipzip JavaMint-r15637-binaries.zip manage 5312.7 K 22 Jul 2010 - 22:50 MathiasRicken Java Mint, July 22, 2010 Release (Binaries Only)
elsegz JavaMint-r15637.tar.gz manage 6997.5 K 22 Jul 2010 - 22:47 MathiasRicken Java Mint, July 22, 2010 Release
zipzip JavaMint-r15665-binaries.zip manage 3579.7 K 29 Jul 2010 - 20:09 MathiasRicken Java Mint, July 28, 2010 Release (Binaries Only)
elsegz JavaMint-r15665.tar.gz manage 4898.2 K 29 Jul 2010 - 20:13 MathiasRicken Java Mint, July 28, 2010 Release
zipzip JavaMint-r15700-binaries.zip manage 3580.4 K 20 Aug 2010 - 20:48 MathiasRicken Java Mint, August 20, 2010 Release (Binaries Only)
elsegz JavaMint-r15700.tar.gz manage 4906.6 K 20 Aug 2010 - 20:47 MathiasRicken Java Mint, August 20, 2010 Release
zipzip JavaMint-r15707-binaries.zip manage 3582.1 K 24 Aug 2010 - 21:52 MathiasRicken Java Mint, August 24, 2010 Release (Binaries Only)
elsegz JavaMint-r15707.tar.gz manage 4885.7 K 24 Aug 2010 - 21:49 MathiasRicken Java Mint, August 24, 2010 Release
zipzip JavaMint-r15716-binaries.zip manage 3593.6 K 30 Aug 2010 - 17:31 MathiasRicken Java Mint, August 30, 2010 Release (Binaries Only)
elsegz JavaMint-r15716.tar.gz manage 4918.6 K 30 Aug 2010 - 17:32 MathiasRicken Java Mint, August 30, 2010 Release
Topic revision: r70 - 01 Sep 2010 - 17:56:37 - MathiasRicken