| <html> | |
| <body> | |
| <h1>The Header</h1> | |
| <p>The ".xlia" file starts with a header. In it we precise the version of the XLIA language to be used.</p> | |
| <p>For now, any of the following examples make no difference in the way the code is compiled/run :</p> | |
| <img src="images/header00.png" width=500 border="3"> | |
| <p>"xfsp" may be found in some ".xlia" files. It is the former name of the xlia language. It stands for "eXtensible Formal SPecification".</p> | |
| <p></p> | |
| <p></p> | |
| <p></p> | |
| </body> | |
| </html> |