summaryrefslogtreecommitdiff
path: root/package.py
Commit message (Expand)AuthorAge
* Put contents od release packages into a dafny/ directoryGravatar Clément Pit--Claudel2015-08-28
* Add a tip to the packaging scriptGravatar Clément Pit--Claudel2015-08-27
* package.py: Keep z3's exec bits, and set the exec bit on the dafny/ scriptGravatar Clément Pit--Claudel2015-08-27
* More fixes to the packaging scriptGravatar Clément Pit--Claudel2015-08-27
* Make the packaging script Windows-compatibleGravatar Clément Pit--Claudel2015-08-27
* Write a new packaging script for DafnyGravatar Clément Pit--Claudel2015-08-23