pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Moved Scala source files into package directory to prepare Eclipse setup.

This commit is contained in:
Achim D. Brucker 2018-04-02 21:36:00 +01:00
parent f3f95fe112
commit 4a3adee46f
3 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
document-generator/converter/build
View File

@ -45,4 +45,4 @@ SCALAC_VERSION=`$ISABELLE scalac -version`
echo "Building dof_latex_converter using"
echo " * $ISABELLE_VERSION"
echo " * $SCALAC_VERSION"
$ISABELLE scalac src/*.scala -d bin/dof_latex_converter.jar
$ISABELLE scalac src/com/logicalhacking/dof/converter/*.scala -d bin/dof_latex_converter.jar

0
document-generator/converter/src/DofConverter.scala → document-generator/converter/src/com/logicalhacking/dof/converter/DofConverter.scala
View File

0
document-generator/converter/src/IoUtils.scala → document-generator/converter/src/com/logicalhacking/dof/converter/IoUtils.scala
View File