Reorder the webpages and update development status

docs/source/index.rst

@@ -11,7 +11,6 @@ DryVR is a framework for verifying cyber-physical systems. It specifically handl
 .. toctree::
    :maxdepth: 2
 
-   status
    installation
    usage
    dryvr's_language
@@ -20,3 +19,4 @@ DryVR is a framework for verifying cyber-physical systems. It specifically handl
    parameters_configuration
    publications
    contact
+   status

docs/source/status.rst

-Status
-==========
-Jan 24.2018. DryVR 2.0 is done. Adding state dependent transition and control synthesis.
+Development Status
+===================
 
-April 18.2017. The installation is tested on Ubuntu 16.04 (64 bit version).
+September 21, 2021: Remove old websites and redirect to this website. The installation is tested on Ubuntu 20.04 with Python 3.8.
 
-March 23.2017. The tool is tested on Ubuntu 16.04 (64 bit version).
+November 12, 2020: Migrate to Python 3. The installation is tested on Ubuntu 16.04 (64 bit version).
+
+January 24, 2018: DryVR 2.0 is done. Adding state dependent transition and control synthesis.
+
+April 18, 2017: The installation is tested on Ubuntu 16.04 (64 bit version).
+
+March 23, 2017: The tool is tested on Ubuntu 16.04 (64 bit version).