Download.Download History

Hide minor edits - Show changes to output - Cancel

Changed line 29 from:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/nuxmv-users">xsap users</a> mailing list<br/>
to:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/xsap-users">xSAP users</a> mailing list<br/>
Changed line 29 from:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/xsap-users">xsap users</a> mailing list<br/>
to:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/nuxmv-users">xsap users</a> mailing list<br/>
Changed line 29 from:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/nuxmv-users">nuXmv users</a> mailing list<br/>
to:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/xsap-users">xsap users</a> mailing list<br/>
Deleted lines 9-11:
<script type="text/javascript" src="js/validation.js"></script>
<script type="text/javascript" src="js/cookies.js"></script>

Added line 29:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/nuxmv-users">nuXmv users</a> mailing list<br/>
Changed lines 33-34 from:
Please enter the words you see in the box
to:

<p><label>
Please enter the letters displayed:</label></p>
Changed lines 36-44 from:
<script type="text/javascript" src="https://www.google.com/recaptcha/api/challenge?k=6Ldha_ISAAAAAOqz8LS7rUBlPpftltRpGVdRrdUf"></script>

<noscript>
  <iframe src
="https://www.google.com/recaptcha/api/noscript?k=6Ldha_ISAAAAAOqz8LS7rUBlPpftltRpGVdRrdUf"
          height="300" width="500" frameborder="0"></iframe><br>
  <textarea name="recaptcha_challenge_field" rows="3" cols="40"></textarea>
  <input type="hidden" name="recaptcha_response_field" value="manual_challenge">
</noscript>
<br/
>
to:
<input type="text" id="defaultReal" name="defaultReal">
Changed lines 1-5 from:
(:title xSAP Download :)

Please fill the registration form before downloading xSAP.\\\

-> '''Remark:''' xSAP can be used only for non-commercial or academic purposes.\\
to:
(:title xSAP Download :)

Please fill the registration form before downloading xSAP.\\\

-> '''Remark:''' xSAP can be used only for non-commercial or academic purposes.\\
Changed line 19 from:
<input type="radio" name="usage" value="industry"/>Industry Research<br/>
to:
<input type="radio" name="usage" value="industry"/>Industry<br/>
Deleted line 31:
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/xsap-users">xSAP users</a> mailing list<br/>
Changed lines 1-5 from:
(:title nuXmv Download :)

Please fill the registration form before downloading nuXmv.\\\

-> '''Remark:''' nuXmv can be used only for non-commercial or academic purposes.\\
to:
(:title xSAP Download :)

Please fill the registration form before downloading xSAP.\\\

-> '''Remark:''' xSAP can be used only for non-commercial or academic purposes.\\
Changed lines 1-4 from:
(:comment %center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg :)

Coming soon.

to:
(:title nuXmv Download :)

Please fill the registration form before downloading nuXmv.\\\

-> '''Remark:''' nuXmv can be used only for non-commercial or academic purposes.\\
See [[Main.License|License]] for details.

(:html:)

<script type="text/javascript" src="js/validation.js"></script>
<script type="text/javascript" src="js/cookies.js"></script>

<form id="registration" accept-charset="UTF-8" action="bin/register_user.cgi" method="POST">

<fieldset class="radiogroup">
<legend>Purpose of usage:</legend>
<input type="radio" name="usage" value="study" checked/>Study<br/>
<input type="radio" name="usage" value="research"/>Academic Research<br/>
<input type="radio" name="usage" value="industry"/>Industry Research<br/>
<br/>

Affiliation<sup>*</sup>: <input type="text" name="company" size="80" maxlength="100"/><br>
</fieldset>

<br/>
<fieldset class="radiogroup">
<legend>Personal info:</legend>
First name: <input type="text" name="first_name" size="80" maxlength="100"/><br>
Last  name: <input type="text" name="last_name"  size="80" maxlength="100"/><br>
<br/>
Email address<sup>*</sup>: <input type="email" name="email_address" size="80" maxlength="100" required/><br/>
<input type="checkbox" name="mailing_list" value="yes" checked/>Subscribe to the <a href="https://list.fbk.eu/sympa/info/xsap-users">xSAP users</a> mailing list<br/>
</fieldset>

<br/>
Please enter the words you see in the box
<br/>
<script type="text/javascript" src="https://www.google.com/recaptcha/api/challenge?k=6Ldha_ISAAAAAOqz8LS7rUBlPpftltRpGVdRrdUf"></script>

<noscript>
  <iframe src="https://www.google.com/recaptcha/api/noscript?k=6Ldha_ISAAAAAOqz8LS7rUBlPpftltRpGVdRrdUf"
          height="300" width="500" frameborder="0"></iframe><br>
  <textarea name="recaptcha_challenge_field" rows="3" cols="40"></textarea>
  <input type="hidden" name="recaptcha_response_field" value="manual_challenge">
</noscript>
<br/>
<input type="submit" name="download" value="Submit"/>

</form>

(:htmlend:)

%right%  [--Fields marked with '^*^' are mandatory.--]
Added lines 4-10:






Changed lines 1-2 from:

%center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg
to:
(:comment %center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg :)

Coming soon.
Added lines 1-2:

%center%https://es.fbk.eu/tools/nuxmv/images/wip.jpeg


Page last modified on November 11, 2015, at 09:45 AM