Update with new videos and compilation instructions

Author: dimitar-asenov

JavaImportTool/JavaImportTool.launch

@@ -9,7 +9,7 @@
 <stringAttribute key="org.eclipse.debug.ui.ATTR_CAPTURE_IN_FILE" value="${workspace_loc:/JavaImportTool}/output.txt"/>
 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="envision.java.importtool.Main"/>
 
-<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="jedit /home/dasenov/Research/experiment1/jedit/source/ ${project_loc}/../DebugBuild/projects/"/>
+<stringAttribute key="org.eclipse.jdt.launching.PROGRAM_ARGUMENTS" value="exp1 /home/mitko/experiment1_legend/ ${project_loc}/../DebugBuild/projects/"/>
 
 <!--
 ===== The following are some useful ways to generate projects =====

VisualizationBase/src/VisualizationBasePlugin.cpp

@@ -81,7 +81,9 @@ bool VisualizationBasePlugin::initialize(Core::EnvisionManager& manager)
 
 	// Enlarge and Center Main Window
 
-	vmi.getMainWindow()->resize(1280, 720); // 720p
+	//vmi.getMainWindow()->resize(1280, 720); // 720p
+	vmi.getMainWindow()->resize(1920, 1080); // 1080p
+
 	QRect desktop{QApplication::desktop()->screenGeometry()};
 	int leftPos = desktop.width()/2-VisualizationManager::instance().getMainWindow()->width()/2;
 	int topPos = desktop.height()/2-VisualizationManager::instance().getMainWindow()->height()/2;

doc/pages/compilation.dox

@@ -17,7 +17,7 @@ Other dependencies are:
 	visualizations and cross-platform support.
 	- <b>lp_solve 5.5</b>: http://lpsolve.sourceforge.net/ <br /> Lp Solve is used for calculating some of the more
 	complex visualization layouts.
-	- <b>Clang 3.8</b>: http://clang.llvm.org/ <br /> Clang is used for importing C++ projects in Envision. Support for
+	- <b>Clang 6.0</b>: http://clang.llvm.org/ <br /> Clang is used for importing C++ projects in Envision. Support for
 	importing C++ is preliminary and incomplete.
 	- <b>libgit2</b>: https://libgit2.github.com/ <br /> Used for Envision's git-based version control.
 	- <b>Python 3</b>: https://www.python.org/ <br /> Used for various scripts during building, testing and run-time execution (e.g. for information scripting).
@@ -28,13 +28,13 @@ Other dependencies are:
 	Boost python is used to provide bindings for the python scripting.
 	- <b>For the Java import tool only: Gradle </b>: http://gradle.org/ <br /> Used as build script for the JavaImportTool.
 
-To install the dependencies on Ubuntu 16.04, run the following:
+To install the dependencies on Ubuntu 18.04, run the following:
 	-# Install all necessary packages:
-		\verbatim sudo apt-get install qt-sdk libqt5svg5 libqt5svg5-dev libqt5webkit5 libqt5webkit5-dev lp-solve liblpsolve55-dev libclang-3.8-dev clang-3.8 llvm-3.8 libgit2-dev google-perftools libgoogle-perftools-dev vera++ python3-dev libboost-python-dev libedit-dev \endverbatim
+		\verbatim sudo apt-get install qt-sdk libqt5svg5 libqt5svg5-dev libqt5webkit5 libqt5webkit5-dev lp-solve liblpsolve55-dev libclang-6.0-dev clang-6.0 llvm-6.0 libgit2-dev google-perftools libgoogle-perftools-dev vera++ python3-dev libboost-python-dev libedit-dev \endverbatim
 	-# Make the following symbolic link needed to use the shared library of lp solve:
 		\verbatim sudo ln -s /usr/lib/lp_solve/liblpsolve55.so /usr/lib/liblpsolve55.so \endverbatim
 	-# If you plan on using the C++ import feature you will also need an additional symbolic link to the clang libraries directly in main directory of Envision's source:
-		\verbatim Envision$ ln -s /usr/lib/llvm-3.8/lib/ lib \endverbatim
+		\verbatim Envision$ ln -s /usr/lib/llvm-6.0/lib/ lib \endverbatim
 	-# If you plan on using the JavaImportTool you will need Gradle:
 		\verbatim sudo apt-get install gradle \endverbatim
 
@@ -51,13 +51,8 @@ to use but we recommend Qt Creator. The instructions below show you how to set-u
 		- Go to: Tools > Options > Build & Run > Kits. Make sure that the default desktop kit uses the appropriate version
 			of Qt.
 	-# Open the top-level \c CMakeLists.txt file with Qt Creator.
-	-# On Qt creator 3.x, use the following arguments for CMake \verbatim -DCMAKE_BUILD_TYPE=Debug \endverbatim
-	  or alternatively, if you want to compile with clang:  \verbatim -DCMAKE_BUILD_TYPE=Debug -DCMAKE_CXX_COMPILER=clang++-3.8 \endverbatim
-	-# In the Projects view, under *build* make sure that:
-		- The build directory points to a directory that is a peer of Envision's directory. e.g.
-			\verbatim../build-envision-Desktop-Debug\endverbatim
-		- (Qt creator 4 or later) the CMAKE_BUILD_TYPE variable is set to *Debug*.
-	-# Also in the Projects view, change the arguments of cmake/make to specify parallel compilation and the *install* target:
+	-# On Qt creator 4.x, set the CMake Build type to \verbatim Debug \endverbatim.
+	-# In the Projects view, change the arguments of cmake/make to specify parallel compilation and the *install* target:
 		\verbatim-j8 install\endverbatim
 		The *install* target is needed in order to copy all necessary files to the DebugBuild directory.
 		Substitute 8 for the number of threads your hardware supports.

doc/pages/main.dox

@@ -5,15 +5,15 @@
 	editor and is used for large-scale software development. 
 
 	Envision is an open-source project using the BSD license. The project is based on the
-	<a href="http://qt-project.org/">Qt</a> framework and is cross-platform. <a href="http://www.pm.inf.ethz.ch/research/envision.html">Envision is developed at ETH Zurich</a> in the context of <a href="http://www.pm.inf.ethz.ch/people/person-detail.html?persid=167548">Dimitar Asenov's PhD studies</a>.
+	<a href="http://qt-project.org/">Qt</a> framework and is cross-platform. <a href="http://www.pm.inf.ethz.ch/research/envision.html">Envision was originally developed at ETH Zurich</a> in the context of <a href="http://www.pm.inf.ethz.ch/people/person-detail.html?persid=167548">Dimitar Asenov's PhD studies</a>.
 
 	To read about the motivation for building Envision and find out what are some of the key ideas for the IDE, please
 	see \ref motivation "the motivation page".
 
 	\subsection videos Videos
 
 	\htmlonly 
-	<iframe width="640" height="360" src="https://www.youtube.com/embed/9X9stH2T-7w" frameborder="0" allowfullscreen>
+	<iframe width="1280" height="720" src="https://www.youtube.com/embed/5YMaCQEoPe0" frameborder="0" allowfullscreen>
 	</iframe>
 	<br/>
 	\endhtmlonly
@@ -22,17 +22,44 @@
 	<br/>
 
 	\htmlonly 
-	<iframe width="640" height="360" src="https://www.youtube.com/embed/GD0W5HEteu8" frameborder="0" allowfullscreen>
+	<iframe width="1280" height="720" src="https://www.youtube.com/embed/GD0W5HEteu8" frameborder="0" allowfullscreen>
 	</iframe>
 	<br/>
 	\endhtmlonly
-	A demonstration of how the visualizations and interactions in Envision can be customized for embedded
+	A demo of how the visualizations and interactions in Envision can be customized for embedded
 	domain-specific languages.
 
 	<br/>
 
 	\htmlonly 
-	<iframe width="640" height="360" src="https://www.youtube.com/embed/0j8-Bjhnl4c" frameborder="0" allowfullscreen>
+	<iframe width="1280" height="720" src="https://www.youtube.com/embed/Cvjgt6nVo1I" frameborder="0" allowfullscreen>
+	</iframe>
+	<br/>
+	\endhtmlonly
+	A demo of useful ways to improve the readability of long methods with styled comments in Envision.
+	
+	<br/>
+	
+	\htmlonly 
+	<iframe width="1280" height="720" src="https://www.youtube.com/embed/ZueXhX0ojs4" frameborder="0" allowfullscreen>
+	</iframe>
+	<br/>
+	\endhtmlonly
+	A demo of Envision's advanced version control features.
+	
+	<br/>
+	
+	\htmlonly 
+	<iframe width="1280" height="720" src="https://www.youtube.com/embed/kYaRKuUy9rA" frameborder="0" allowfullscreen>
+	</iframe>
+	<br/>
+	\endhtmlonly
+	A demo of scripting Envision using its built-in command prompt, e.g. to perform a data-based refactoring.
+	
+	<br/>
+	
+	\htmlonly 
+	<iframe width="1280" height="720" src="https://www.youtube.com/embed/0j8-Bjhnl4c" frameborder="0" allowfullscreen>
 	</iframe>
 	<br/>
 	\endhtmlonly