Mercurial Mercurial > repos > isabelle / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Setup/.idea/codeStyles/Project.xml
changeset 73907 8cc891183484
parent 73906 f627ffab387b
child 73908 506734c805ac
equal deleted inserted replaced
73906:f627ffab387b 73907:8cc891183484 
     1 <component name="ProjectCodeStyleConfiguration">
 
       
     2   <code_scheme name="Project" version="173">
 
       
     3     <option name="LINE_SEPARATOR" value="&#10;" />
 
       
     4     <option name="SOFT_MARGINS" value="100" />
 
       
     5     <codeStyleSettings language="Scala">
 
       
     6       <option name="ALIGN_MULTILINE_PARAMETERS" value="false" />
 
       
     7     </codeStyleSettings>
 
       
     8   </code_scheme>
 
       
     9 </component>
isabelle