Skip to content

Commit

Permalink
Enable Compilation of Visual Debugger
Browse files Browse the repository at this point in the history
  • Loading branch information
Richard Bubel committed Dec 19, 2008
1 parent 809e7b5 commit 37519ec
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
3 changes: 2 additions & 1 deletion eclipse/KeYFeature/build-3.2.1.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,8 @@
</ant>
<ant antfile="build-3.2.1.xml" dir="../KeYPlugin" target="${target}">
</ant>
<!-- commented out until release of rothe vis debug <ant antfile="build-3.2.1.xml" dir="../VisualDebugger" target="${target}"> </ant> -->
<ant antfile="build-3.2.1.xml" dir="../VisualDebugger" target="${target}">
</ant>
</target>
<target name="all.features" depends="init">
</target>
Expand Down
2 changes: 1 addition & 1 deletion eclipse/KeYFeature/feature.xml
View file
Original file line number Diff line number Diff line change
Expand Up @@ -80,7 +80,7 @@ POSSIBILITY OF SUCH DAMAGES.

<plugin id="ProofVisualization" download-size="0" install-size="0" version="1.1.16" unpack="false"/>

<!-- commented out until release of rotheVis Debug <plugin id="VisualDebugger" download-size="0" install-size="0" version="1.1.16" unpack="false"/> -->
<plugin id="VisualDebugger" download-size="0" install-size="0" version="1.1.16" unpack="false"/>

<plugin id="KeYExternalLibraries" download-size="0" install-size="0" version="1.1.16" unpack="false"/>

Expand Down

0 comments on commit 37519ec

Please sign in to comment.