Merge pull request #1466 from dwightguth/float

fix #1436 : fix float tendencies of \ksentence in latex

k-distribution/include/latex/k.sty

@@ -1,4 +1,4 @@
-% Copyright (c) 2012-2014 K Team. All Rights Reserved.
+% Copyright (c) 2012-2015 K Team. All Rights Reserved.
 \NeedsTeXFormat{LaTeX2e}
 \ProvidesPackage{k}[2012/02/14 Package for typesetting K Framework definitions http://k-framework.org]
 
@@ -916,8 +916,7 @@ rectangle,rectangle
 \newcommand{\ruleAttributes}[1]{\hfill[#1]}
 
 \newcommand{\ksentence}[7][]{%
-\wrapRules{%
-  \rulebox{%
+  \par\indent
   \k@ruleLabel{#3}{#2}\hspace{1em}$%
   \ifthenelse{\equal{#1}{}}{}{%  
    \left(% 
@@ -927,7 +926,6 @@ rectangle,rectangle
    \right)% 
   }%
     $%
-  }%
   \ifthenelse{\equal{#5}{}}{}{%
     \whenReq{#5}%
   }%
@@ -938,7 +936,7 @@ rectangle,rectangle
   \ifthenelse{\equal{#7}{}}{}{%  
    \ruleAttributes{#7}% 
   }%
-}%
+  \par\ \par
 }
 
 \newcommand{\krule}[6][]{%