This shows you the differences between two versions of the page.
start [2015/10/19 03:06] mht208 [What's New] |
start [2020/05/06 23:04] (current) mht208 [What's New] |
||
---|---|---|---|
Line 1: | Line 1: | ||
====== What's New ====== | ====== What's New ====== | ||
+ | * 2020/05/07: Version 2020-05-06 is released. | ||
* 2015/10/19: Add a [[:goal:extensions#Fribourg Construction|plugin]] contributed by Daniel Weibel. | * 2015/10/19: Add a [[:goal:extensions#Fribourg Construction|plugin]] contributed by Daniel Weibel. | ||
* 2015/10/18: The version 2015-10-18 is released. | * 2015/10/18: The version 2015-10-18 is released. | ||
Line 71: | Line 72: | ||
====== Download ====== | ====== Download ====== | ||
- | Latest version: [[:GOAL:Download|2015-10-18]] (click on the version date to download) | + | Latest version: [[:GOAL:Download|2020-05-06]] (click on the version date to download) |
Previous versions can be found [[:GOAL:Download|here]]. | Previous versions can be found [[:GOAL:Download|here]]. | ||
====== Installation ====== | ====== Installation ====== | ||
- | The GOAL tool is implemented in Java. You must have a [[http://www.oracle.com/technetwork/java/javase/downloads/index.html|Java runtime]] (6.0 or above is required) on your machine. | + | The GOAL tool is implemented in Java. You must have a [[http://www.oracle.com/technetwork/java/javase/downloads/index.html|Java runtime]] (11 or above is required) on your machine; for recent versions of Mac OS, you may need to install the JDK, not just the runtime. |
==== Versions from 2011-02-14 ==== | ==== Versions from 2011-02-14 ==== | ||
Line 121: | Line 121: | ||
Current: | Current: | ||
* [[http://www.im.ntu.edu.tw/~tsay/|Yih-Kuen Tsay]] | * [[http://www.im.ntu.edu.tw/~tsay/|Yih-Kuen Tsay]] | ||
- | * Ming-Hsien Tsai | + | * [[http://www.iis.sinica.edu.tw/pages/zechs/index_en.html|Ming-Hsien Tsai]] |
- | * Chi-Shiang Liu | + | |
- | * Yu-Shiang Hwang | + | |
Former: | Former: | ||
Line 134: | Line 132: | ||
* Yi-Hsiung Wang | * Yi-Hsiung Wang | ||
* Jing-Jie Lin | * Jing-Jie Lin | ||
+ | * Chi-Shiang Liu | ||
+ | * Yu-Shiang Hwang | ||
====== Acknowledgment ====== | ====== Acknowledgment ====== |