Manage an S3 website: sync, deliver via CloudFront
s3_website is a Ruby gem that automates the deployment of static websites to AWS S3 and optionally CloudFront. It handles site configuration, uploads, cache control, gzip compression, redirects, and supports Jekyll, Nanoc, and Middleman out of the box. Ideal for static site hosting without manual AWS setup.
...This SourceForge project is used to distribute Isabelle/Eclipse files - the source code and issue management is available on GitHub: http://github.com/andriusvelykis/isabelle-eclipse
Visit Isabelle/Eclipse website at http://andriusvelykis.github.com/isabelle-eclipse