Mar 2007


Lyx on the mac

I'm probably one of the last ones getting there, but I decided to do my best not to use Microsoft Word for editing my phd thesis. Oh yes - since I managed to arrive till this painful state, shall I give myself ever more troubles by using word? Not at all...

So I found out that there's a nice app which benefits from LaTex, but has an easy front-end. It's Lyx. I followed the very good tutorial which can be found here, and I report in this article my experience... it takes a little bit.

The tutorial hints at two ways to install latex: one is longer and and involves the usage of i-installer to get the libraries needed, and according to the author the whole thing will sum up to 300 megs more or less. The other one instead involves an already-packaged version of latex - MacTex -  which will take up more than one gig of space, says the installer.

So i went for the first one. Unfortunately i-installer couldn't find one package, Ghostship. I had to give up, if I wanted to abandon word before dust...
Picture 21.png

Not so easily though. I went for the second option, installing MacTex. Takes almost 5 minutes, and it slowed down my navigation with firefox considerably, but everything was smooth.

So I went on as the tutorial suggests and downloaded and installed Lyx. Another problem here, unfortunately..cause the MacTex installation does not have the same location Lyx is expecting. Basically, it looks for a /teTex subdirectory, while all the stuff we installed with MacTex is locate in .
Picture 3.png

What to do? No worries, just run Lyx (which you should have copied to your app folder) and it runs anyway!!

The next important step to get going is having the dictionaries available. Another good tutorial can be found here, even if I found it much easier to just download Cocoaspell, a macos interface to Aspell. And there you go, follow the instructions to set up the newly imported dictionaries, install some more of them, and it's done!

Word, your days are coming to an end!

loans pink slip

Martin Cooper, loans pink slip researcher and executive is widely considered to be the inventor of the first practical loans pink slip for handheld use in a non-vehicle setting.

bad loans quick personal credit

A ringing signal is bad loans quick personal credit telephony signal that causes a telephone to alert the user to an incoming call.

loans rft

In most countries, loans rft s outnumber land-line phones, with fixed landlines numbering 1.

secured college loans

[10] UCAN and Cingular reached secured college loans on October 19, 2006, which resulted in stronger notification and authorization requirements for Cingular regarding non-communications charges and also required Cingular to institute a ready means to address billing issues and cancel wireless content services, such as secured college loans s.

loans balance lender direct small commercial

However, these use native formats only available to one particular phone model or brand.

payments loan detail consolidated plan total

Modern payments loan detail consolidated plan total s have become extremely diverse, leading to phone personalization and customization.

goverment busness loan small

In goverment busness loan small goverment busness loan small s had been used to detonate the bombs.

guaranteed bad credit loan

In some developing countries with little "landline" telephone infrastructure, guaranteed bad credit loan use has quadrupled in guaranteed bad credit loan decade.

refurbish home loans

) and upload directly to their mobile phone with no limit on refurbish home loans of songs uploaded.

loan with instant approval credit bad

Breaks were introduced into loan with instant approval credit bad to avoid this problem, resulting in the common ring-pause-ring cadence pattern used today.

Cite this blog post:

Michele Pasin. Lyx on the mac. Blog post on Published on March 21, 2007.

Comments via Github:

See also:


paper  Data integration and disintegration: Managing Springer Nature SciGraph with SHACL and OWL

Industry Track, International Semantic Web Conference (ISWC-17), Vienna, Austria, Oct 2017.

paper  Using Linked Open Data to Bootstrap a Knowledge Base of Classical Texts

WHiSe 2017 - 2nd Workshop on Humanities in the Semantic web (colocated with ISWC17), Vienna, Austria, Oct 2017.

paper  Fitting Personal Interpretation with the Semantic Web: lessons learned from Pliny

Digital Humanities Quarterly, Jan 2017. Volume 11 Number 1


paper  Moving EMLoT towards the web of data: an approach to the representation of humanities citations based on role theory and formal ontology

New Technologies in Medieval and Renaissance Studies, (forthcoming). (part of the 'Envisioning REED in the Digital Age' collection)

paper  Citations and Annotations in Classics: Old Problems and New Perspectives

Collaborative Annotation in Shared Environments: Metadata, vocabularies and techniques in the Digital Humanities (workshop co-located with ACM DocEng 2013 Conference), Florence, Sep 2013.

paper  Structuring that which cannot be structured: A role for formal models in representing aspects of Medieval Scotland

New Perspectives on Medieval Scotland: 1093-1286, Woodbridge, Suffolk: Boydell and Brewer, Studies in Celtic History Series, Aug 2013.

paper  Fitting Personal Interpretations with the Semantic Web

Digital Humanities 2013, University of Nebraska–Lincoln, Jul 2013.


paper  Annotation and Ontology in most Humanities research: accommodating a more informal interpretation context

NeDiMaH workshop on ontology based annotation, held in conjunction with Digital Humanities 2012, Hamburg, Germany, Jul 2012.

paper  Capturing the Meaning of Roman Sculpture

Digital Humanities Symposium "Virtualisation and Heritage", York, Feb 2012. (Poster paper)


paper  Untitled 12

Computer Music Journal, Volume 35, Issue 4 - Ensembles of Digitally Controlled Acoustic Instruments, Dec 2011. (Audio/Video livecoding piece included in the DVD)

paper  Semantic Web Approaches in Digital History: an Introduction

Lecture slides from the Course on digital history, part of the master in Digital Humanities at King's College, London., Oct 2011.

paper  Prosopography and Computer Ontologies: towards a formal representation of the ‘factoid’ model by means of CIDOC-CRM

Representing Knowledge in the Digital Humanities, Lawrence, Kansas, Sep 2011.

paper  Browsing highly interconnected humanities databases through multi-result faceted browsers

Digital Humanities 2011 , Stanford, USA, Jun 2011.

paper  An Ontological View of Canonical Citations

Digital Humanities 2011 , Stanford, USA, Jun 2011.

paper  Ontological Requirements for Annotation and Navigation of Philosophical Resources

Synthese, Volume 182, Number 2, Springer, Jan 2011.


blog  Ryoji Ikeda

paper  How do philosophers think their own discipline? Reports from a knowledge elicitation experiment

European Philosophy and Computing conference, ECAP10, Munich, Germany, Oct 2010.

paper  Data integration perspectives from the London Theatres Bibliography project

Annual Conference of the Canadian Society for Digital Humanities / Société pour l'étude des médias interactifs (SDH-SEMI 2010), Montreal, Canada, Jun 2010.

paper  Review of Interontology conference 2010

Humana Mente, Journal of Philosophical Studies, 13, May 2010. Issue 13

blog  Nanoloop

blog  Links 4/1/10

blog  Xanadu


paper  PhiloSURFical: An Ontological Approach To Support Philosophy Learning

Semantic Web Technologies for e-Learning, Oct 2009. D. Dicheva, R. Mizoguchi, J. Greer (Eds.), vol. 4 The Future of Learning, IOS Press

blog  UML to django

paper  Ontological Requirement for Supporting Smart Navigation of Philosophical Resources

PhD Thesis, Milton Keynes, UK, The Open University, Jul 2009.

paper  Laying the Conceptual Foundations for Data Integration in the Humanities

Proc. of the Digital Humanities Conference (DH09), Maryland, USA, Jun 2009. pp. 211-215

paper  Meaning and Structure in the London Theatres Bibliography

The Fifty-Fifth Annual Meeting of the Renaissance Society of America, Los Angeles, CA, USA, Mar 2009.


blog  Love trippin'

paper  Capturing Knowledge About Philosophy

Fourth International Conference on Knowledge Capture (K-CAP07), Whistler, BC, Canada, Oct 2007. pp. 47-54

paper  AquaLog: An ontology-driven question answering system for organizational semantic intranets

Journal of Web Semantics, Sep 2007. Vol. 5, 2, (72-105), Elsevier

blog  DBpedia rocks

paper  PhiloSURFical: browse Wittgensteinʼs Tractatus with the Semantic Web

Wittgenstein and the Philosophy of Information - Proceedings of the 30th International Ludwig Wittgenstein Symposium, Kirchberg, Austria, Aug 2007. pp. 319-335

paper  Supporting Philosophers’ Work through the Semantic Web: Ontological Issues

Fifth International Workshop on Ontologies and Semantic Web for E-Learning (SWEL-07), held in conjunction with AIED-07, Marina Del Rey, California, USA, Jul 2007.

blog  AquaMacs 1.0



paper  Semantic Learning Narratives

International Workshop on Applications of Semantic Web Technologies for E-Learning (SWEL-05), held in conjunction with KCAP-05, Banff, Canada, Oct 2005.

paper  AquaLog A Ontology-portable Question Answering interface for the Semantic Web

2nd European Semantic Web Conference (ESWC05), Heraklion, Crete, Greece, May 2005. pp. 546-562


paper  Theory of Knowledge in the Postfordistic Society

Undergraduate degree thesis in italian (kindly published as a white-paper by ItConsult SRL), Universita Ca' Foscari, Venice, Italy, Sep 2003.