sail/src/contrib, branch sail2 Formal specification language for ISAs Cleanup repository by removing old and generated files 2018-04-05T17:40:36+00:00 Alasdair Armstrong 2018-04-04T14:14:39+00:00 09fca718c6e850a3a94db399fd1744dc537bbe41 Rename l2.ott to sail.ott 
Rename l2.ott to sail.ott
Getting closer with non-opam makefile 2014-10-06T16:41:42+00:00 Kathy Gray 2014-10-06T16:41:42+00:00 4f720a3ed86af52288fe614296678ccb7a4777f6 






configure uint before make
2014-10-04T15:28:05+00:00

Kathy Gray

2014-10-04T15:28:05+00:00

87d5696867883fb6e16d1106c12a17baf0eebc94












Add file to download required libraries
2014-10-01T16:28:47+00:00

Kathy Gray

2014-10-01T16:28:47+00:00

d65de6195e4274b38351bb380e706a874a0576aa