summaryrefslogtreecommitdiff
path: root/LICENSE
Commit message (Expand)AuthorAge
* Use Flocq for floatsGravatar xleroy2012-06-28
* Minor updatesGravatar xleroy2012-03-11
* MAJ licenceGravatar xleroy2011-08-23
* License for Floataux.mlGravatar xleroy2010-10-27
* Switching to the new C parser/elaborator/simplifierGravatar xleroy2010-03-03
* Cleaned up configure script.Gravatar xleroy2009-03-29
* UpdatesGravatar xleroy2009-01-05
* DatesGravatar xleroy2008-01-28
* Ajout license, README, copyright noticesGravatar xleroy2008-01-27