Commits to release branch for V0.9.10

ibliss · Mar 24, 2014 · 3ecf0af · 3ecf0af
2 parents b791c9e + da0f4d6
commit 3ecf0af
Show file tree

Hide file tree

Showing 6 changed files with 5 additions and 2 deletions.
diff --git a/.hgignore b/.hgignore
@@ -27,7 +27,6 @@ syntax: regexp
 ^SMT/tempout$
 syntax: regexp
 ^SMT/xx$
-
 syntax: regexp
 \.stackdump$
 syntax: regexp
@@ -49,4 +48,4 @@ syntax: regexp
 syntax: glob
 org.smtlib.SMTFeature*.jar
 syntax: glob
-org.smtlib.*.jar
+org.smtlib.*.jar
diff --git a/SMT/launchConfigurations/Push jSMTLIB to SourceForge.launch b/SMT/launchConfigurations/Push jSMTLIB to SourceForge.launch
diff --git a/SMTUpdateSite/web/copy2 b/SMTUpdateSite/web/copy2
diff --git a/SMTUpdateSite/web/copyToGTWeb b/SMTUpdateSite/web/copyToGTWeb
diff --git a/SMTUpdateSite/web/copyToSFWeb b/SMTUpdateSite/web/copyToSFWeb
@@ -45,6 +45,10 @@ put features/org.smtlib.SMTFeature_${version}.jar features
 put plugins/org.smtlib.*_${version}.jar plugins
 lcd ..
 cd /home/frs/project/j/js/jsmtlib
+put ${WEB}/README
+put ../../texstuff/papers/SMTLIBUserGuide/SMTLIBUserGuide.pdf jSMTLIBUserGuide.pdf
+put SMT/jSMTLIB.tar.gz
+
 lcd ${WEB}/tempfiles
 get README
 get jSMTLIBUserGuide.pdf

diff --git a/SMTUpdateSite/web/style.css b/SMTUpdateSite/web/style.css