Merge pull request #45 from manuelprinz/patch-1

Update work-around for Protégé 5.5
emmo-repo · Mar 6, 2020 · eb0e2d9 · eb0e2d9
2 parents a95fb62 + e230f94
commit eb0e2d9
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/installing_factplusplus.md b/doc/installing_factplusplus.md
@@ -5,6 +5,7 @@ Fortunately a solution has been posted on http://protege-project.136.n4.nabble.c
 
 Instructions
 ------------
+0. Ensure that "Microsoft Visual C++ Redistributable for Visual Studio" is installed.
 1. Download [OpenJDK](https://jdk.java.net/13/) and extract the zip file.
 2. Download the [FaCT++ plugin](https://bitbucket.org/dtsarkov/factplusplus/downloads/uk.ac.manchester.cs.owl.factplusplus-P5.x-v1.6.5.jar) and save it in the Protégé plugin directory.
 3. Download the [fix](https://gist.githubusercontent.com/jpi-seb/12627bba6509a85a9c75afd262e78469/raw/28016a4b292c94549623c71dff4028cbea274a29/factplusplus-P5.x-v1.6.5-manifest-fix-win10.txt) to the same directory.