User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
start [2018/09/25 16:29]
sanjay [Tutorial / Examples]
start [2018/10/23 09:26]
sanjay [Installing AlphaZ and Getting Started]
Line 21: Line 21:
  
 ====== Installing AlphaZ and Getting Started ====== ====== Installing AlphaZ and Getting Started ======
-Instruction to setup AlphaZ for CS department accountsand to install in an external machine is available in a separate page.\\ +To use AlphaZ on the CS department machinesfollow the [[Eclipse Setup]]
-Operating systems other than MacOSX and Linux are not supported at this time.\\ +
-Support for 32bit Linux is limited, since we have very little access to 32bit machines.\\ +
-[[Eclipse Setup]]+
  
-Source for AlphaZ are available in our repository, but our system depends on Eclipse and plug-ins developed for Eclipse Modeling Framework as well. We also use a large number of plug-ins from CAIRN team at IRISA, Rennes. The repository structure of CSU and IRISA is outlined in this page : [[Source Access]]. However, it is not a complete list, and we recommend users to download the bundle and then checkout projects corresponding to where you would like to make changes.+Instructions to set up an AlphaZ developer version for CS department accounts, and/or on an external machine are also available on the [[Eclipse Setup]] page. 
 + 
 +Operating systems other than MacOSX and Linux are not supported at this time.  Support for 32bit Linux is limited, since we have very little access to 32bit machines. 
 + 
 +Source for AlphaZ are available in our repository, but our system depends on Eclipse and plug-ins developed for Eclipse Modeling Framework as well.  We also use a large number of plug-ins from CAIRN team at IRISA, Rennes. The repository structure of CSU and IRISA is outlined in this page : [[Source Access]]. However, it is not a complete list, and we recommend users to download the bundle and then checkout projects corresponding to where you would like to make changes.
 ====== Alphabets and Equational Programming ====== ====== Alphabets and Equational Programming ======
  
start.txt · Last modified: 2018/10/23 09:27 by sanjay