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
start [2018/10/23 09:23]
sanjay [Installing AlphaZ and Getting Started]
start [2018/10/23 09:27]
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 accounts, and to on an external machine are available ​in a separate ​page.+To use AlphaZ on the CS department machines, follow the [[Eclipse Setup]]. 
 +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.\\ +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.
-Support for 32bit Linux is limited, since we have very little access to 32bit machines.+
  
-To use AlphaZ on the CS department machines, follow the [[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.
- +
-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