I experienced the same problem but now have the latest versions of Ocaml, Camlp5 and HOL Light working under Ubuntu 11.10.
$ camlp5 -v Camlp5 version 6.02.3 (ocaml 3.12.0) The installation challenge is that the standard Ubuntu distribution of Camlp5 was not built in "strict" mode. A "strict" version build is required by Hol Light. So... Download latest Camlp5 source distribution and the patch file: http://cristal.inria.fr/~ddr/camlp5/ Unpack then apply the patch and build in strict mode: $ cd camlp5-6.02.3 $ patch -p 0 < patch-6.02.3-1 $ ./configure --strict $ make world.opt $ sudo make install That's it! John Rugis Institute of Earth Science and Engineering University of Auckland New Zealand Message: 1 Date: Tue, 03 Jan 2012 15:10:41 +0000 From: "Mark" <[email protected]> Subject: Re: [Hol-info] Problem building HOL Light To: <[email protected]>, <[email protected]> Message-ID: <[email protected]> Content-Type: text/plain; charset="UTF-8" HOL Light requires Camlp5 for OCaml versions >=3.10. The problem is that HOL Light doesn't cater for Camlp5 versions 6.X, so you must use a 5.X version. Also note that only Camlp5 version 5.15 works for OCaml 3.12. So, given that you have OCaml 3.12, the solution is to install Camlp5 version 5.15. Go to the Camlp5 webpage: http://pauillac.inria.fr/~ddr/camlp5/ and scroll down towards the bottom for a link to previous versions. Mark. on 3/1/12 7:33 AM, Cris Perdue <[email protected]> wrote: > I am looking for suggestions on successfully running "make" to install the > current version of HOL Light. > > On an Ubuntu 11.10 system, with: > > $ ocaml -version > The Objective Caml toplevel, version 3.12.0 > $ camlp5 -v > Camlp5 version 6.02.2 (ocaml 3.12.0) > > # Running "make" I get: > > $ make > if test `ocamlc -version | cut -c3` = "0" ; \ > then ocamlc -c -pp "camlp4r pa_extend.cmo q_MLast.cmo" > -I +camlp4 pa_j.ml; \ > else ocamlc -c -pp "camlp5r pa_lexer.cmo pa_extend.cmo > q_MLast.cmo" -I +camlp5 pa_j.ml; \ > fi > File "pa_j.ml", line 112, characters 72-74: > Error: This expression has type (string * MLast.ctyp) list > but an expression was expected of type > ('a * MLast.ctyp) list Ploc.vala > make: *** [pa_j.cmo] Error 2 > > This was done in the root directory after syncing this afternoon to the SVN > directory at Google code. > > The README suggests that the default location of the camlp5 library in in > /usr/local. I have done: > > $ export CAMLP5LIB=/usr/lib/ocaml/camlp5 > > # camlp5 library: > > $ echo $CAMLP5LIB > /usr/lib/ocaml/camlp5 > cris@cris-netbook:~/src/hol-light-read-only$ ls !$ > ls $CAMLP5LIB > camlp5.a gramext.mli pa_extend.o pa_macro.cmx > pa_pragma.o ploc.cmi pr_null.cmo prtools.cmi > camlp5.cma gramlib.a pa_extfold.cmo pa_macro.o pa_r.cmo > ploc.cmx pr_null.cmx prtools.mli > camlp5.cmxa gramlib.cma pa_extfold.cmx pa_mkast.cmo pa_r.cmx > ploc.mli pr_null.o q_ast.cmo > camlp5o.cma gramlib.cmxa pa_extfold.o pa_mkast.cmx > pa_reloc.cmo pprintf.cmi pr_o.cmo q_ast.cmx > camlp5r.cma grammar.cmi pa_extfun.cmo pa_mkast.o > pa_reloc.cmx pprintf.cmx pr_o.cmx q_ast.o > camlp5sch.cma grammar.cmx pa_extfun.cmx pa_mktest.cmo > pa_reloc.o pprintf.mli pr_o.o q_MLast.cmo > camlp5_top.cma grammar.mli pa_extfun.o pa_mktest.cmx pa_r.o > pr_depend.cmo pr_op.cmo q_MLast.cmx > diff.cmi lib.sml pa_extprint.cmo pa_mktest.o pa_rp.cmo > pr_depend.cmx pr_op.cmx q_MLast.o > diff.cmx META pa_extprint.cmx pa_o.cmo pa_rp.cmx > pr_depend.o pr_op.o q_phony.cmo > diff.mli mLast.cmi pa_extprint.o pa_o.cmx pa_rp.o > pr_dump.cmo pr_r.cmo q_phony.cmx > eprinter.cmi mLast.mli pa_fstream.cmo pa_o_fast.cmx > pa_scheme.cmo pr_dump.cmx pr_r.cmx q_phony.o > eprinter.cmx ocpp.cmo pa_fstream.cmx pa_o_fast.o > pa_scheme.cmx pr_dump.o pr_r.o quotation.cmi > eprinter.mli odyl.a pa_fstream.o pa_o.o > pa_scheme.o pretty.cmi pr_ro.cmo quotation.mli > extfold.cmi odyl.cma pa_lefteval.cmo pa_oop.cmo > pa_sml.cmo pretty.cmx pr_ro.cmx reloc.cmi > extfold.cmx odyl.cmo pa_lefteval.cmx pa_oop.cmx > pa_sml.cmx pretty.mli pr_ro.o reloc.mli > extfold.mli odyl.cmx pa_lefteval.o pa_oop.o pa_sml.o > pr_extend.cmo pr_rp.cmo stdpp.cmi > extfun.cmi odyl.cmxa pa_lexer.cmo pa_op.cmo pcaml.cmi > pr_extend.cmx pr_rp.cmx stdpp.cmx > extfun.cmx odyl.o pa_lexer.cmx pa_op.cmx pcaml.mli > pr_extend.o pr_rp.o stdpp.mli > extfun.mli pa_extend.cmi pa_lexer.o pa_op.o > plexer.cmi pr_extfun.cmo pr_scheme.cmo token.cmi > fstream.cmi pa_extend.cmo pa_lisp.cmo pa_pprintf.cmo > plexer.cmx pr_extfun.cmx pr_scheme.cmx token.cmx > fstream.cmx pa_extend.cmx pa_lisp.cmx pa_pprintf.cmx > plexer.mli pr_extfun.o pr_scheme.o token.mli > fstream.mli pa_extend_m.cmo pa_lisp.o pa_pprintf.o > plexing.cmi pr_extprint.cmo pr_schemep.cmo versdep.cmi > gramext.cmi pa_extend_m.cmx pa_macro.cmi pa_pragma.cmo > plexing.cmx pr_extprint.cmx pr_schemep.cmx versdep.cmx > gramext.cmx pa_extend_m.o pa_macro.cmo pa_pragma.cmx > plexing.mli pr_extprint.o pr_schemep.o > > Thanks much for any help. > > Regards, > -Cris > > > > ---------------------------------------- > > ---------------------------------------------------------------------------- > -- > Write once. Port to many. > Get the SDK and tools to simplify cross-platform app development. Create > new or port existing apps to sell to consumers worldwide. Explore the > Intel AppUpSM program developer opportunity. appdeveloper.intel.com/join > http://p.sf.net/sfu/intel-appdev > > > ---------------------------------------- > _______________________________________________ > hol-info mailing list > [email protected] > https://lists.sourceforge.net/lists/listinfo/hol-info > > > ------------------------------ Message: 2 Date: Mon, 9 Jan 2012 11:07:19 +0100 From: Johan Jeuring <[email protected]> Subject: [Hol-info] CICM 2012: Second call for papers To: <[email protected]>, IFLA-L <[email protected]>, <[email protected]>, <[email protected]>, <[email protected]>, <[email protected]> Message-ID: <[email protected]> Content-Type: text/plain; charset="utf-8" CICM 2012 - Conference on Intelligent Computer Mathematics July 9-13, 2012 at Jacobs University, Bremen, Germany http://www.informatik.uni-bremen.de/cicm2012/ Call for Papers ---------------------------------------------------------------- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, automated deduction, mathematical publishing and novel user interfaces individually have long and successful histories, we are now seeing increasing opportunities for synergy among these areas. The Conference on Intelligent Computer Mathematics offers a venue for discussing these areas and their synergy. The conference will be organized by Serge Autexier and Michael Kohlhase at Jacobs University in Bremen and consist of five tracks: Artificial Intelligence and Symbolic Computation (AISC) Co-Chairs: John A. Campbell, Jacques Carette Calculemus Chair: Gabriel Dos Reis Digital Mathematical Libraries (DML) Chair: Petr Sojka Mathematical Knowledge Management (MKM) Chair: Makarius Wenzel Systems and Projects Chair: Volker Sorge The overall programme will be organized by the General Program Chair Johan Jeuring. Invited talks will be given by: Yannis Haralambous, D?partement Informatique, T?l?com Bretagne Conor McBride, Department of Computer and Information Sciences, University of Strathclyde Cezar Ionescu, Potsdam Institute for Climate Impact Research ---------------------------------------------------------------- Important dates ---------------------------------------------------------------- Abstract submission: 20 February 2012 Submission deadline: 26 February 2012 Reviews sent to authors: 23 March 2012 Rebuttals due: 30 March 2012 Notification of acceptance: 6 April 2012 Camera ready copies due: 20 April 2012 Conference: 9-13 July 2012 ---------------------------------------------------------------- Tracks ---------------------------------------------------------------- *** AISC *** Symbolic computation can be roughly described as the study of algorithms which operate on expression trees. Another way to phrase this is to say that the denotational semantics of expressions trees is not fixed, but is rather context dependent. Expression simplification is probably the archetypal symbolic computation. Mathematically oriented software (such as the so-called computer algebra systems) have been doing this for decades, but not long thereafter, systems doing proof planning and theorem discovery also started doing the same; some attempts at knowledge management and 'expert systems' were also symbolic, but less successfully so. More recently, many different kinds of program analyses have gotten `symbolic', as well as some of the automated theorem proving (SMT, CAV, etc). But a large number of the underlying problems solved by symbolic techniques are well known to be undecidable (never mind the many that are EXP-time complete, etc). Artificial Intelligence has been attacking many of these different sub-problems for quite some time, and has also built up a solid body of knowledge. In fact, most symbolic computation systems grew out of AI projects. These two fields definitely intersect. One could say that in the intersection lies all those problems for which we have no decision procedures. In other words, decision procedures mark a definite phase shift in our understanding, but are not always possible. Yet we still want to solve certain problems, and must find 'other' means of (partial) solution. This is the fertile land which comprises the core of AISC. Rather than try to exhaustively list topics of interest, it is simplest to say that AISC seeks work which advances the understanding of Solving problems which fundamentally involve the manipulation of expressions, but for which decision procedures are unlikely to ever exist. *** Calculemus *** Calculemus is a series of conferences dedicated to the integration of computer algebra systems (CAS) and systems for mechanised reasoning, the interactive theorem provers or proof assistants (PA) and the automated theorem provers (ATP). Currently, symbolic computation is divided into several (more or less) independent branches: traditional ones (e.g., computer algebra and mechanised reasoning) as well as newly emerging ones (on user interfaces, knowledge management, theory exploration, etc.) The main concern of the Calculemus community is to bring these developments together in order to facilitate the theory, design, and implementation of integrated systems for computer mathematics that will routinely be used by mathematicians, computer scientists and engineers in their every day business. The topics of interest of Calculemus include but are not limited to: * Theorem proving in computer algebra (CAS) * Computer algebra in theorem proving (PA and ATP) * Case studies and applications that both involve computer algebra and mechanised reasoning * Representation of mathematics in computer algebra * Adding computational capabilities to PA and ATP * Formal methods requiring mixed computing and proving * Combining methods of symbolic computation and formal deduction * Mathematical computation in PA and ATP * Theory, design and implementation of interdisciplinary systems for computer mathematics * Theory exploration techniques * Input languages, programming languages, types and constraint languages, and modeling languages for mechanised mathematics systems (PA, CAS, and ATP). * Infrastructure for mathematical services *** DML *** Mathematicians dream of a digital archive containing all peer-reviewed mathematical literature ever published, properly linked, validated and verified. It is estimated that the entire corpus of mathematical knowledge published over the centuries does not exceed 100,000,000 pages, an amount easily manageable by current information technologies. Following success of DML 2008, DML 2009 DML 2010, and DML 2011 track objectives are to formulate the strategy and goals of a global mathematical digital library and to summarize the current successes and failures of ongoing technologies and related projects as EuDML, asking such questions as: * What technologies, standards, algorithms and formats should be used and what metadata should be shared? * What business models are suitable for publishers of mathematical literature, authors and funders of their projects and institutions? * Is there a model of sustainable, interoperable, and extensible mathematical library that mathematicians can use in their everyday work? * What is the best practice for * retrodigitized mathematics (from images via OCR to MathML or TeX); * retro-born-digital mathematics (from existing electronic copy in DVI, PS or PDF to MathML or TeX); * born-digital mathematics (how to make needed metadata and file formats available as a side effect of publishing workflow [CEDRAM/Euclid model])? DML is an opportunity to share experience and best practices between projects in any area (MKM, NLP, OCR, pattern recognition, whatever) that could change the paradigm for searching, accessing, and interacting with the mathematical corpus. The track is trans/interdisciplinary and contributions from any kind of people on any aspect of the DML building are welcome. *** MKM *** Mathematical Knowledge Management is an interdisciplinary field of research in the intersection of mathematics, computer science, library science, and scientific publishing. The objective of MKM is to develop new and better ways of managing sophisticated mathematical knowledge, based on innovative technology of computer science, the Internet, and intelligent knowledge processing. MKM is expected to serve mathematicians, scientists, and engineers who produce and use mathematical knowledge; educators and students who teach and learn mathematics; publishers who offer mathematical textbooks and disseminate new mathematical results; and librarians and mathematicians who catalog and organize mathematical knowledge. The conference is concerned with all aspects of mathematical knowledge management. A non-exclusive list of important topics includes: * Representations of mathematical knowledge * Authoring languages and tools * Repositories of formalized mathematics * Deduction systems * Mathematical digital libraries * Diagrammatic representations * Mathematical OCR * Mathematical search and retrieval * Math assistants, tutoring and assessment systems * MathML, OpenMath, and other mathematical content standards * Web presentation of mathematics * Data mining, discovery, theory exploration * Computer algebra systems * Collaboration tools for mathematics * Challenges and solutions for mathematical workflows *** Systems and Projects *** The Systems and Projects track of the Conferences on Intelligent Computer Mathematics is a forum for presentation of systems and new and ongoing projects in all areas and topics related to the CICM conferences: * AI and Symbolic Computation * Deduction and Computer Algebra * Mathematical Knowledge Management * Digital Mathematical Libraries The track aims to provide an overview of the latest developments and trends within the CICM community as well as to exchange ideas between developers and introduce systems to an audience of potential users. We solicit submissions for two page abstracts in the categories of system descriptions and project presentations. System description should present * newly developed systems, * systems that have not previously been presented to the CICM community, or * significant updates to existing systems. Project presentation should describe * projects that are new or about to start, * ongoing projects that have not yet been presented to the CICM community. * significant new developments in ongoing previously presented projects. All submissions should contain links to demos, downloadable systems, or project pages. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted abstracts will be published in the CICM proceedings in Springer's LNAI series. Author's are expected to present their abstracts in 5-10 minute teaser talks followed by an open demo/poster session. System papers must be accompanied by a system demonstration, while project papers must be accompanied by a poster presentation. ---------------------------------------------------------------- Submitting ---------------------------------------------------------------- Submissions to tracks A to D must not exceed 15 pages and will be reviewed and evaluated with respect to relevance, clarity, quality, originality, and impact. Shorter papers, e.g., for system descriptions, are welcome. Authors will have an opportunity to respond to their papers' reviews before the programme committee makes a decision. Submissions to the Systems & Projects track must not exceed four pages. The accepted abstracts will be presented at CICM in a fast presentation session, followed by an open demo/poster session. System papers must be accompanied by a system demonstration, and project papers must be accompanied by a poster presentation. The four pages of the abstract should be new material, accompanied by links to demos/downloads/project-pages and [existing] system descriptions. Availability of such accompanying material will be a strong prerequisite for acceptance. Accepted conference submissions from all tracks will be published as a volume in the series Lecture Notes in Artificial Intelligence (LNAI) by Springer. In addition to these formal proceedings, authors are permitted and encouraged to publish the final versions of their papers on arXiv.org. Work-in-progress submissions are intended to provide a forum for the presentation of original work that is not (yet) in a suitable form for submission as a full or system description paper. This includes work in progress and emerging trends. Their size is not limited, but we recommend 5 - 10 pages. The programme committee may offer authors of rejected formal submissions to publish their contributions as work-in-progress papers instead. Depending on the number of work-in-progress papers accepted, they will be presented at the conference either as short talks or as posters. The work-in-progress proceedings will be published as a technical report. All papers should be prepared in LaTeX and formatted according to the requirements of Springer's LNCS series (the corresponding style files can be downloaded from http://www.springer.de/comp/lncs/authors.html). By submitting a paper the authors agree that if it is accepted at least one of the authors will attend the conference to present it. Electronic submission is done through easychair (http://www.easychair.org/conferences/?conf=cicm2012). ---------------------------------------------------------------- Program Committees ---------------------------------------------------------------- General chair: Johan Jeuring (Utrecht University and Open Universiteit the Netherlands) AISC track John A. Campbell; University College London, UK; Co-chair Jacques Carette; McMaster University, Canada; Co-chair Serge Autexier; DFKI Bremen, Germany Jacques Calmet; University of Karlsruhe, Germany Jacques Fleuriot; University of Edinburgh, UK Andrea Kohlhase; International University Bremen, Germany Erik Postma; Maplesoft Inc., Canada Alan Sexton; University of Birmingham, UK Chung-chieh Shan; Cornell University, USA. Stephen Watt; University of Western Ontario, Canada Calculemus track Gabriel Dos Reis; Texas A&M University, USA; Chair Andrea Asperti; University of Bologna, Italy Laurent Bernardin; Maplesoft, Canada James Davenport; University of Bath, UK Ruben Gamboa; University of Wyoming, USA Mark Giesbrecht; University of Waterloo, Canada Sumit Gulwani; Microsoft Research, USA John Harrison; Intel, USA Joris van der Hoeven; ?cole Polytechnique, France Hoon Hong; North Carolina State University, USA Lo?c Pottier; INRIA, France Wolfgang Windsteiger; RISC, Austria DML track Petr Sojka; Masaryk University, Brno, CZ; Chair Jos? Borbinha; Technical University of Lisbon, PT Thierry Bouche; University Grenoble, FR Michael Doob; University of Manitoba, Winnipeg, CA Thomas Fischer; Goettingen University, DE Yannis Haralambous; T?l?com Bretagne, FR V?clav Hlav??; Czech Technical University, Prague, CZ Michael Kohlhase; Jacobs University Bremen, DE Janka Chleb?kov?; Portsmouth University, UK Enrique Maci?s-Virg?s; University of Santiago de Compostela, ES Bruce Miller; NIST, USA Ji?? R?kosn?k; Academy of Sciences, Prague, CZ Eugenio Rocha; University of Aveiro, PT David Ruddy; Cornell University, US Volker Sorge; University of Birmingham, UK Masakazu Suzuki; Kyushu University, JP MKM track Makarius Wenzel; University of Paris-South, France; Chair David Aspinall; University of Edinburgh, Scotland Jeremy Avigad; Carnegie Mellon University, USA Mateja Jamnik; University of Cambridge, UK Cezary Kaliszyk; University of Tsukuba, Japan Manfred Kerber; University of Birmingham, UK Christoph L?th; DFKI Bremen, Germany Adam Naumowicz; University of Bia?ystok, Poland Jim Pitman; University of California, Berkeley, USA Pedro Quaresma; Universidade de Coimbra, Portugal Florian Rabe; Jacobs University Bremen, Germany Claudio Sacerdoti Coen; University of Bologna, Italy Enrico Tassi; INRIA Saclay, France Freek Wiedijk; Radboud University Nijmegen, The Netherlands Systems & Projects track Volker Sorge; University of Birmingham, UK; Chair Josef Baker; University of Birmingham, UK John Charnley; Imperial College, UK Manuel Kauers; RISC, Austria Koji Nakagawa; Kyushu University, Japan Piotr Rudnicki; University of Alberta, Canada Josef Urban; Radboud University Nijmegen, The Netherlands Richard Zanibbi; Rochester Institute of Technologies, USA ------------------------------ Message: 3 Date: Mon, 9 Jan 2012 06:20:54 -0500 (EST) From: [email protected] Subject: [Hol-info] SecTest2012: 2nd Call for Papers To: [email protected] Message-ID: <[email protected]> (Apologies if you receive this announcement multiple times) CALL FOR PAPERS The 3nd International Workshop on Security Testing (SECTEST 2012) Co-located with ICST 2012 (The 5th Int. Conference on Software Testing, Verification and Validation) Montreal, Canada, April 21, 2012 http://www.spacios.eu/sectest2012/ SUBMISSION DEADLINE: January 30, 2012 Full (8 pages) and short (2 pages) research papers and tool demonstration papers (2 pages) allowed. http://www.easychair.org/conferences/?conf=sectest2012. The proceedings will be published in the IEEE digital library. WORKSHOP THEME To improve software security, several techniques, including vulnerability modelling and security testing, have been developed but the problem remains unsolved. On one hand, the workshop tries to answer how vulnerability modelling can help users understand the occurrence of vulnerabilities so to avoid them, and what the advantages and drawbacks of the existing models are to represent vulnerabilities. At the same time, the workshop tries to understand how to solve the challenging security testing problem given that testing the mere functionality of a system alone is already a fundamentally critical task, how security testing is different from and related to classical functional testing, and how to assess the quality of security testing. The objective of this workshop is to share ideas, methods, techniques, and tools about vulnerability modelling and security testing to improve the state of the art. In particular, the workshop aims at providing a forum for practitioners and researchers to exchange ideas, perspectives on problems, and solutions. Both papers proposing novel models, methods, and algorithms and reporting experiences applying existing methods on case studies and industrial examples are welcomed. TOPICS The topics of interest include, but are not restricted to: * network security testing * application security testing * security requirements definition and modelling * security and vulnerability modelling * runtime monitoring of security-relevant applications * security testing of legacy systems * cost effectiveness issues * comparisons between security-by-design and formal analyses * formal techniques for security testing and validation * security test generation and oracle derivation * specifying testable security constraints * test automation * penetration testing * regression testing for security * robustness and fault tolerance to attacks * test-driven diagnosis of security weaknesses * process and models for designing and testing secure system * when to perform security analysis and testing * "white box" security testing techniques * compile time fault detection and program verification * tools and case studies * industrial experience reports IMPORTANT DATES * Papers due: January 30, 2012 * Notification: February 25, 2012 * Camera-ready due: march 15, 2012 PROGRAM COMMITTEE * Paul Ammann (George Mason University, USA) * Alessandra Bagnato (TXT e-solutions, Corporate Research Division, Italy) * Ruth Breu (University of Innsbruck, Austria) * Achim Brucker (SAP Research, Germany) * Frederic Cuppens (Telecom Bretagne, France) * Khaled El Fakih (American University of Sharjah, UAE) * Daniel Faigin (The Aerospace Corporation, USA) * Ylies Falcone (Grenoble University, France) * Roland Groz (Grenoble University, France) * Bruno Legeard (Smartesting, France) * Keqin Li (SAP Research, France; co-chair) * Lijun Liu (China Mobile Research Institute, China) * Wissam Mallouli (Montimage, France; co-chair) * Ronald Ritchey (Booz Allen & Hamilton, USA) * Juha Roning (University of Oulu, Finland) * Luca Vigano` (Universita` di Verona, Italy; co-chair) * Bachar Wehbi (Montimage, France) STEERING COMMITTEE * Alessandro Armando (University of Genova, Italy) * Ana Cavalli (Telecom SudParis, France) * Jorge Cuellar (Siemens, Germany) * Alexander Pretschner (KIT, Germany) * Yves Le Traon (University of Luxembourg, Luxembourg) For further information, please contact http://www.spacios.eu/sectest2012/. ------------------------------ ------------------------------------------------------------------------------ Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex infrastructure or vast IT resources to deliver seamless, secure access to virtual desktops. With this all-in-one solution, easily deploy virtual desktops for less than the cost of PCs and save 60% on VDI infrastructure costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox ------------------------------ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info End of hol-info Digest, Vol 68, Issue 2 *************************************** ------------------------------------------------------------------------------ Ridiculously easy VDI. With Citrix VDI-in-a-Box, you don't need a complex infrastructure or vast IT resources to deliver seamless, secure access to virtual desktops. With this all-in-one solution, easily deploy virtual desktops for less than the cost of PCs and save 60% on VDI infrastructure costs. Try it free! http://p.sf.net/sfu/Citrix-VDIinabox _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
