c# pdf to image free library : Convert pdf to form fill software SDK dll winforms wpf web page web forms system3-part858

CHAPTER 4. ISABELLE/SCALA DEVELOPMENT TOOLS
28
This allows to interact with Isabelle/Scala in TTY mode like this:
isabelle scala
scala> isabelle.Isabelle_System.getenv("ISABELLE_HOME")
scala> val options = isabelle.Options.init()
scala> options.bool("browser_info")
scala> options.string("document")
4.3 Scala compiler
The isabelle scalac tool is a direct wrapper for the Scala compiler; see
also isabelle scala above. The command line arguments are that of the
underlying Scala version.
This allows to compile further Scala modules, depending on existing
Isabelle/Scala functionality. The resulting class or jar files can be added
to the Java classpath using the classpath Bash function that is provided
by the Isabelle process environment. Thus add-on components can register
themselves in a modular manner, see also §1.1.3.
Note that jEdit [3] has its own mechanisms for adding plugin components,
which needsspecial attention since it overrides thestandard Java class loader.
4.4 Scala script wrapper
The executable $ISABELLE_HOME/bin/isabelle_scala_script allows to
run Isabelle/Scala source files stand-alone programs, by using a suitable
“hash-bang” line and executable file permissions.
The subsequent example assumes that the main Isabelle binaries have
been installed in some directory that is included in PATH (see also
isabelle install):
#!/usr/bin/env isabelle_scala_script
val options = isabelle.Options.init()
Console.println("browser_info = " + options.bool("browser_info"))
Console.println("document = " + options.string("document"))
Alternatively the full $ISABELLE_HOME/bin/isabelle_scala_script may
be specified in expanded form.
Convert pdf to form fill - C# PDF Form Data fill-in Library: auto fill-in PDF form data in C#.net, ASP.NET, MVC, WinForms, WPF
Online C# Tutorial to Automatically Fill in Field Data to PDF
create fillable pdf form from word; add fillable fields to pdf online
Convert pdf to form fill - VB.NET PDF Form Data fill-in library: auto fill-in PDF form data in vb.net, ASP.NET, MVC, WinForms, WPF
VB.NET PDF Form Data fill-in library: auto fill-in PDF form data in vb.net, ASP.NET, MVC, WinForms, WPF
create a fillable pdf form from a word document; create a pdf form to fill out
Chapter 5
Miscellaneous tools
Subsequently we describe various Isabelle related utilities, given in alphabet-
ical order.
5.1 Resolving Isabelle components
The isabelle components tool resolves Isabelle components:
Usage: isabelle components [OPTIONS] [COMPONENTS ...]
Options are:
-I
init user settings
-R URL
component repository
(default $ISABELLE_COMPONENT_REPOSITORY)
-a
resolve all missing components
-l
list status
Resolve Isabelle components via download and installation.
COMPONENTS are identified via base name.
ISABELLE_COMPONENT_REPOSITORY="http://isabelle.in.tum.de/components"
Components are initialized as described in §1.1.3 in a permissive manner,
which can mark components as “missing”. This state is amended by letting
isabelle components download and unpack components that are published
on the default component repository http://isabelle.in.tum.de/components/
in particular.
Option -R specifies an alternativecomponent repository. Note that file:///
URLs can be used for local directories.
Option -a selects all missingcomponentsto be resolved. Explicitcomponents
may be named as command line-arguments as well. Note that components
are uniquely identified by their base name, while the installation takes place
in the location that was specified in the attempt to initialize the component
before.
29
VB.NET PDF Password Library: add, remove, edit PDF file password
passwordSetting.IsAnnot = True ' Allow to fill form. passwordSetting document. passwordSetting.IsAssemble = True ' Add password to PDF file.
pdf fillable form; convert word doc to fillable pdf form
C# WPF PDF Viewer SDK to annotate PDF document in C#.NET
Text box. Click to add a text box to specific location on PDF page. Line color and fill can be set in properties. Copyright © <2000-2016> by <RasterEdge.com>.
create a fillable pdf form online; add signature field to pdf
CHAPTER 5. MISCELLANEOUS TOOLS
30
Option -l lists the current state of available and missing components with
their location (full name) within the file-system.
Option -I initializes the user settings file to subscribe to the standard com-
ponents specified in the Isabelle repository clone — this does not make any
sense for regular Isabelle releases. If the file already exists, it needs to be
edited manually according to the printed explanation.
5.2 Raw ML console
The isabelle console tool runs the Isabelle process with raw ML console:
Usage: isabelle console [OPTIONS]
Options are:
-d DIR
include session directory
-l NAME
logic session name (default ISABELLE_LOGIC)
-m MODE
add print mode for output
-n
no build of session image on startup
-o OPTION
override Isabelle system OPTION (via NAME=VAL or NAME)
-s
system build mode for session image
Run Isabelle process with raw ML console and line editor
(default ISABELLE_LINE_EDITOR).
The -l option specifies the logic session name. By default, its heap image is
checked and built on demand, but the option -n skips that.
Options -d, -o, -s are passed directly to isabelle build (§2.3).
Options -m, -o are passed directly to the underlying Isabelle process (§1.2).
The Isabelle process is run through the line editor that is specified via the
settings variable ISABELLE_LINE_EDITOR (e.g. rlwrap for GNU readline);
the fall-back is to use plain standard input/output.
Interaction works via the raw ML toplevel loop: this is neither Isabelle/Isar
nor Isabelle/MLwithin the usual formal context. Some useful ML commands
at this stage are cd, pwd, use, use_thy, use_thys.
5.3 Displaying documents
The isabelle display tool displays documents in DVI or PDF format:
Usage: isabelle display DOCUMENT
Display DOCUMENT (in DVI or PDF format).
C# PDF Password Library: add, remove, edit PDF file password in C#
passwordSetting.IsAnnot = true; // Allow to fill form. passwordSetting document. passwordSetting.IsAssemble = true; // Add password to PDF file.
create a pdf form to fill out and save; convert fillable pdf to html form
VB.NET PDF - Annotate PDF with WPF PDF Viewer for VB.NET
Text box. Click to add a text box to specific location on PDF page. Line color and fill can be set in properties. Copyright © <2000-2016> by <RasterEdge.com>.
attach image to pdf form; change font size in fillable pdf form
CHAPTER 5. MISCELLANEOUS TOOLS
31
The settings DVI_VIEWER and PDF_VIEWER determine the programs for view-
ing the corresponding file formats. Normally this opens the document via
the desktop environment, potentially in an asynchronous manner with re-use
of previews views.
5.4 Viewing documentation
The isabelle doc tool displays Isabelle documentation:
Usage: isabelle doc [DOC ...]
View Isabelle documentation.
If called without arguments, it lists all available documents. Each line starts
with an identifier, followed by a short description. Any of these identifiers
may be specified as arguments, in order to display the corresponding docu-
ment (see also §5.3).
The ISABELLE_DOCS setting specifies the list of directories (separated by
colons) to be scanned for documentations.
5.5 Shell commands within the settings envi-
ronment
The isabelle env tool is a direct wrapper for the standard /usr/bin/env
command on POSIX systems, running within the Isabelle settings environ-
ment (§1.1).
The command-line arguments are that of the underlying version of env. For
example, the following invokes an instance of the GNU Bash shell within the
Isabelle environment:
isabelle env bash
5.6 Inspecting the settings environment
The Isabelle settings environment — as provided by the site-default and
user-specific settings files — can be inspected with the isabelle getenv
tool:
VB.NET PDF - Annotate PDF Online with VB.NET HTML5 PDF Viewer
fill color and transparency are all can be altered in properties. Drawing Tab. Item. Name. Description. 7. Draw free form. Users can draw freehand annotation on
add attachment to pdf form; convert word to fillable pdf form
C# HTML5 PDF Viewer SDK to annotate PDF document online in C#.NET
fill color and transparency are all can be altered in properties. Drawing Tab. Item. Name. Description. 7. Draw free form. Users can draw freehand annotation on
auto fill pdf form fields; create fillable pdf form
CHAPTER 5. MISCELLANEOUS TOOLS
32
Usage: isabelle getenv [OPTIONS] [VARNAMES ...]
Options are:
-a
display complete environment
-b
print values only (doesn’t work for -a)
-d FILE
dump complete environment to FILE
(null terminated entries)
Get value of VARNAMES from the Isabelle settings.
With the -a option, one may inspect the full process environment that
Isabelle related programs are run in. This usually contains much more vari-
ables than are actually Isabelle settings. Normally, output is a list of lines of
the form name=value. The -b option causes only the values to be printed.
Option -d produces a dump of the complete environment to the specified
file. Entries are terminated by the ASCII null character, i.e. the C string
terminator.
Examples
Get the location of ISABELLE_HOME_USER where user-specific information is
stored:
isabelle getenv ISABELLE_HOME_USER
Get the value only of the same settings variable, which is particularly useful
in shell scripts:
isabelle getenv -b ISABELLE_OUTPUT
5.7 Installing standalone Isabelle executables
By default, the main Isabelle binaries (isabelle etc.) are just run from
their location within the distribution directory, probably indirectly by the
shell through its PATH. Other schemes of installation are supported by the
isabelle install tool:
Usage: isabelle install [OPTIONS] BINDIR
Options are:
VB.NET PDF Form Data Read library: extract form data from PDF in
RasterEdge .NET PDF SDK is such one provide various of form field edit functions. Demo Code to Retrieve All Form Fields from a PDF File in VB.NET.
auto fill pdf form from excel; convert pdf file to fillable form online
VB.NET PDF Convert to HTML SDK: Convert PDF to html files in vb.
Export PDF form data to html form in .NET WinForms and ASP.NET. Embed PDF hyperlinks to HTML links in VB.NET. NET component to convert adobe PDF file to html
convert pdf fill form; attach file to pdf form
CHAPTER 5. MISCELLANEOUS TOOLS
33
-d DISTDIR
refer to DISTDIR as Isabelle distribution
(default ISABELLE_HOME)
Install Isabelle executables with absolute references to the
distribution directory.
The -d option overrides the current Isabelle distribution directory as deter-
mined by ISABELLE_HOME.
The BINDIR argument tells where executable wrapper scripts for
isabelle_process and isabelle should be placed, which is typically a
directory in the shell’s PATH, such as $HOME/bin.
It is also possible to make symbolic links of the main Isabelle executables
manually, but making separate copies outside the Isabelle distribution direc-
tory will not work!
5.8 Creating instances of the Isabelle logo
The isabelle logo tool creates instances of the generic Isabelle logo as EPS
and PDF, for inclusion in L
A
T
E
Xdocuments.
Usage: isabelle logo [OPTIONS] XYZ
Create instance XYZ of the Isabelle logo (as EPS and PDF).
Options are:
-n NAME
alternative output base name (default "isabelle_xyx")
-q
quiet mode
Option -n specifies an alternative (base) name for the generated files. The
default is isabelle_xyz in lower-case.
Option -q omits printing of the result file name.
Implementors of Isabelle tools and applications are encouraged to make de-
rived Isabelle logos for their own projects using this template.
5.9 Output the version identifier of the
Isabelle distribution
The isabelle version tool displays Isabelle version information:
CHAPTER 5. MISCELLANEOUS TOOLS
34
Usage: isabelle version [OPTIONS]
Options are:
-i
short identification (derived from Mercurial id)
Display Isabelle version information.
The default is to output the full version string of the Isabelle distribution,
e.g. “Isabelle2012: May 2012.
The -i option produces a short identification derived from the Mercurial id
of the ISABELLE_HOME directory.
5.10 Convert XML to YXML
The isabelle yxml tool converts a standard XML document (stdin) to the
much simpler and more efficient YXML format of Isabelle (stdout). The
YXML format is defined as follows.
1. The encoding is always UTF-8.
2. Body text is represented verbatim (no escaping, no special treatment
of white space, no named entities, no CDATA chunks, no comments).
3. Markup elements are represented via ASCII control characters X = 5
and Y = 6 as follows:
XML
YXML
<name attribute=value ...> XYnameYattribute=value...X
</name>
XYX
There is no special case for empty body text, i.e. <foo/> is treated like
<foo></foo>. Also note that X and Y may never occur in well-formed
XML documents.
Parsing YXML is pretty straight-forward: split the text into chunks sepa-
rated by X, then split each chunk into sub-chunks separated by Y. Markup
chunks start with an empty sub-chunk, and a second empty sub-chunk in-
dicates close of an element. Any other non-empty chunk consists of plain
text. For example, see ~~/src/Pure/PIDE/yxml.ML or ~~/src/Pure/PIDE/
yxml.scala.
YXML documents may be detected quickly by checking that the first two
characters are XY.
Bibliography
[1] M. Wenzel. The Isabelle/Isar Implementation.
http://isabelle.in.tum.de/doc/implementation.pdf.
[2] M. Wenzel. The Isabelle/Isar Reference Manual.
http://isabelle.in.tum.de/doc/isar-ref.pdf.
[3] M. Wenzel. Isabelle/jEdit. http://isabelle.in.tum.de/doc/jedit.pdf.
35
Index
bash (executable), 2, 3
browser_info (system option), 15
build (tool), 17, 21
components (tool), 29
condition (system option), 16
console (tool), 5, 30
display (tool), 30
doc (tool), 31
document (system option), 15
document (tool), 21, 23
document_output (system option),
15
document_variants (system option),
15
DVI_VIEWER (setting), 5
env (tool), 31
getenv (tool), 31
install (tool), 32
isabelle (executable), 1, 2
ISABELLE_BIBTEX (setting), 5
ISABELLE_BROWSER_INFO
(setting), 5, 22
ISABELLE_BUILD_OPTIONS
(setting), 18
ISABELLE_DOCS (setting), 5
ISABELLE_HOME (setting), 2, 3
ISABELLE_HOME_USER
(set-
ting), 3
ISABELLE_IDENTIFIER (setting),
4
ISABELLE_JDK_HOME (setting),
5
ISABELLE_LATEX (setting), 5
ISABELLE_LINE_EDITOR
(set-
ting), 5
ISABELLE_LOGIC (setting), 5
ISABELLE_OUTPUT (setting), 3,
5
ISABELLE_PATH (setting), 5
ISABELLE_PDFLATEX (setting),
5
ISABELLE_PLATFORM (setting),
4
ISABELLE_PLATFORM64
(set-
ting), 4
ISABELLE_PLATFORM_FAMILY
(setting), 4
isabelle_process (executable), 1, 7,
21
ISABELLE_PROCESS (setting), 3,
4
ISABELLE_TMP_PREFIX
(set-
ting), 5
ISABELLE_TOOL (setting), 3
ISABELLE_TOOLS (setting), 5, 6
java (tool), 27
latex (tool), 21, 25
logo (tool), 33
mkroot (tool), 21, 22
ML_HOME (setting), 4
ML_IDENTIFIER (setting), 4
ML_OPTIONS (setting), 4
ML_PLATFORM (setting), 4
ML_SYSTEM (setting), 4
36
INDEX
37
ML_SYSTEM_POLYML (setting),
4
options (tool), 16
PDF_VIEWER (setting), 5
rlwrap (executable), 30
scala (tool), 27
scalac (tool), 28
session_chapter (syntax), 12
session_entry (syntax), 12
threads (system option), 16, 19
timeout (system option), 16
timeout_scale (system option), 16
USER_HOME (setting), 3
version (tool), 33
yxml (tool), 34
Documents you may be interested
Documents you may be interested