Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

better doc

  • Loading branch information...
commit 3a5e949348d9612e08a4554925dfa42779ea1504 1 parent 866cb1c
Josef Urban authored
Showing with 11 additions and 2 deletions.
  1. +11 −2 miz_item_deps_bf.pl
View
13 miz_item_deps_bf.pl
@@ -2,11 +2,20 @@
=head1 NAME
-miz_item_deps_bf.pl file ( get implicit Mizar depndencies, using brute-force approach)
+miz_item_deps_bf.pl [Options] XMLElementRegexp ExtensionOfImportedFile ArticleName
+
+(get precise implicit Mizar dependencies on imported constructs using
+a brute-force approach)
=head1 SYNOPSIS
-miz_item_deps_bf.pl Definiens dfs ~/test/a
+# get Definiens dependencies
+
+miz_item_deps_bf.pl -q Definiens dfs ~/test/a
+
+# get RCluster,CCluster,FCluster dependencies
+
+miz_item_deps_bf.pl -q \[RCF\]Cluster ecl ~/test/a1
Options:
--mizfiles=<arg>, -m<arg>
Please sign in to comment.
Something went wrong with that request. Please try again.