03-03-2002
err, i dunt think so its possible. Internet exporer is a Windows application and it cant be run in HP-UX unless you use some sort of Emulator. emulator makes some win32 applications run in Unix. But never tried so. anyway the best way.. use Netscape instead
7 More Discussions You Might Find Interesting
1. UNIX for Dummies Questions & Answers
I Have SCO OpenServer 5 with Netscape Navigator, but I'll like to try Internet Explorer to see how it workd on Unix. I don't know where I can find (If there is) a version compatible with SCO OpenServer! (2 Replies)
Discussion started by: SuPeRbYtE
2 Replies
2. IP Networking
Downloaded and installed, when I try to execute iexplorer it responds with "iexplorer: not found", but it is right there in the directory I am in and I im logged in as root. any ideas? (3 Replies)
Discussion started by: cluettr
3 Replies
3. Shell Programming and Scripting
Hello
I wrote some small TCL script which writes some HTML commands.
when I invoke it through the IE I get a blank screen
what should I do to watch my results on MS IE?
can you point me to a simple ready made script so I can learn from it?
I am working on a solaris system
thanks (2 Replies)
Discussion started by: orid
2 Replies
4. Windows & DOS: Issues & Discussions
Hi,
What must have happen to my internet explorer that flashes whenever it want to load. The page after trying to load would just logout. I have tried to reset most of the setting on the properties but all to no avail. Can someone pls assist.
Thanx (1 Reply)
Discussion started by: kayode
1 Replies
5. Solaris
Hi, I need some help with the Windows derived version of the IE port for UNIX on Solaris.
The file is "ie5setup.sunos5"
Here is the message
Code:
Unsupported Operating System
Application needs to run on Solaris 2.5 or higher.
Please visit www.microsoft.com/ie/unix for more... (17 Replies)
Discussion started by: huffandy
17 Replies
6. Solaris
Any idea where can I download IE for UNIX platform?
Microsoft does not support the downloading anymore? (5 Replies)
Discussion started by: jennifer
5 Replies
7. What is on Your Mind?
Hard to imagine that in the two decades of its existence this product once ruled supreme, but the news is finally there:
RIP Internet Explorer: Twitter mourns and mocks death of Microsoft (0 Replies)
Discussion started by: figaro
0 Replies
LEARN ABOUT DEBIAN
lps2torx
LPS2TORX(1) User Commands LPS2TORX(1)
NAME
lps2torx - provide TorX explorer interface to an LPS
SYNOPSIS
lps2torx [OPTION]... INFILE
DESCRIPTION
Provide a TorX explorer interface to the LPS in INFILE.
The LPS can be explored using TorX as described in torx_explorer(5).
OPTIONS
OPTION can be any of the following:
-y, --dummy
replace free variables in the LPS with dummy values
-rNAME, --rewriter=NAME
use rewrite strategy NAME:
'jitty' for jitty rewriting (default),
'jittyc' for compiled jitty rewriting,
'jittyp' for jitty rewriting with prover
--timings[=FILE]
append timing measurements to FILE. Measurements are written to standard error if no FILE is provided
Standard options:
-q, --quiet
do not display warning messages
-v, --verbose
display short intermediate messages
-d, --debug
display detailed intermediate messages
--log-level=LEVEL
display intermediate messages up to and including level
-h, --help
display help information
--version
display version information
AUTHOR
Written by Muck van Weerdenburg, Frank Stappers.
REPORTING BUGS
Report bugs at <http://www.mcrl2.org/issuetracker>.
COPYRIGHT
Copyright (C) 2012 Technische Universiteit Eindhoven.
This is free software. You may redistribute copies of it under the terms of the Boost Software License
<http://www.boost.org/LICENSE_1_0.txt>. There is NO WARRANTY, to the extent permitted by law.
SEE ALSO
See also the manual at <http://www.mcrl2.org/mcrl2/wiki/index.php/User_manual/lps2torx>.
lps2torx mCRL2 toolset 201202.0 (Release) April 2012 LPS2TORX(1)