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/artifacts/Setup_jar.xml
changeset 73907 8cc891183484
parent 73906 f627ffab387b
child 73908 506734c805ac
equal deleted inserted replaced
73906:f627ffab387b 73907:8cc891183484 
     1 <component name="ArtifactManager">
 
       
     2   <artifact type="jar" name="Setup:jar">
 
       
     3     <output-path>$PROJECT_DIR$/out/artifacts/</output-path>
 
       
     4     <root id="archive" name="Setup.jar">
 
       
     5       <element id="module-output" name="Setup" />
 
       
     6     </root>
 
       
     7   </artifact>
 
       
     8 </component>
isabelle