Differences

This shows you the differences between two versions of the page.

Link to this comparison view

goal:extensions [2011/10/28 12:02]
mht208
goal:extensions [2015/10/19 03:01] (current)
mht208
Line 1: Line 1:
  
-===== Plugin Installation =====+====== General Installation Instructions ======
  
 A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the ''plugins'' folder of GOAL. For Mac users, the ''plugins'' folder is located in ''GOAL.app/Contents/Resources/Java/plugins'' A plugin can appear as a folder or a zipped file. To install a plugin, simply copy the plugin to the ''plugins'' folder of GOAL. For Mac users, the ''plugins'' folder is located in ''GOAL.app/Contents/Resources/Java/plugins''
  
-===== Examples ===== 
  
-==== Hello World ====+====== Users' Contributions ====== 
 + 
 +===== Fribourg Construction ===== 
 + 
 +  * Description: This plugin provides a complementation construction "Fribourg Construction" for nondeterministic Büchi automata. 
 +  * Contributor: Daniel Weibel (Department of Computer Science, University of Fribourg, Switzerland) 
 +  * Link: [[https://frico.s3.amazonaws.com/goal_plugins/ch.unifr.goal.complement.zip|ch.unifr.goal.complement.zip]] 
 +  * Installation: 
 +    - unzip ch.unifr.goal.complement.zip 
 +    - cd ch.unifr.goal.complement 
 +    - zip a -r ch.unifr.goal.complement.zip classes plugin.xml 
 +    - cp ch.unifr.goal.complement.zip WHERE_IS_GOAL/plugins 
 + 
 + 
 +====== Examples ====== 
 + 
 +===== Hello World =====
  
 This plugin inserts This plugin inserts
Line 15: Line 30:
 {{:goal:com.example.hello.src.zip|Sources}} {{:goal:com.example.hello.src.zip|Sources}}
  
-==== Hello Complement ====+===== Hello Complement =====
  
 This plugin implements a buggy complementation algorithm and makes it accessible in the graphical interface and in the command-line interface. This plugin implements a buggy complementation algorithm and makes it accessible in the graphical interface and in the command-line interface.
goal/extensions.txt · Last modified: 2015/10/19 03:01 by mht208
 
Except where otherwise noted, content on this wiki is licensed under the following license: CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki