caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] ActiveDVI and fullscreen?
@ 2002-02-28 22:05 Will Benton
  2002-03-01  7:38 ` Didier Remy
  0 siblings, 1 reply; 9+ messages in thread
From: Will Benton @ 2002-02-28 22:05 UTC (permalink / raw)
  To: caml-list

I may be missing something, but is there a way to get ADvi into 
full-screen mode?



wb

-- 
Will Benton      | "Die richtige Methode der Philosophie wäre eigentlich 
willb@acm.org    |  die: Nichts zu sagen, als was sich sagen läßt...."
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 9+ messages in thread
* Re: [Caml-list] ActiveDVI and fullscreen?
@ 2002-03-01 15:49 Roberto Di Cosmo
  0 siblings, 0 replies; 9+ messages in thread
From: Roberto Di Cosmo @ 2002-03-01 15:49 UTC (permalink / raw)
  To: caml-list, willb

just type ctrl-f :-)
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners


^ permalink raw reply	[flat|nested] 9+ messages in thread

end of thread, other threads:[~2002-03-04 17:58 UTC | newest]

Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-02-28 22:05 [Caml-list] ActiveDVI and fullscreen? Will Benton
2002-03-01  7:38 ` Didier Remy
2002-03-04  9:49   ` Sven
2002-03-04 10:11     ` Pierre Boulet
2002-03-04 10:13     ` Jun P.FURUSE
2002-03-04 10:36       ` Sven
2002-03-04 11:18         ` Achim Blumensath
2002-03-04 10:37       ` Pierre Boulet
2002-03-01 15:49 Roberto Di Cosmo

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).