LaTeXML

Published on January 24, 2014.

LaTeXML is a comprehensive LaTeX to XML converter written by Bruce Miller for the DLMF project at NIST and it’s source code can be found at GitHub.

In this post I will show how to install and use it.

Install

First of all download the source code:

$ git git clone https://github.com/brucemiller/LaTeXML.git
$ git remote add kwarc https://github.com/KWARC/LaTeXML.git
$ git fetch --all
$ git checkout kwarc/master

Booktype and Transifex

Published on January 24, 2014.

This week I worked in the portuguese translation of Open Education Handbook. In this post I cover the problem that we have using Booktype and Transifex for the translation.

Every book in Booktype can be export as a zip archive following the steps in Booktype manual. The problem that we have is related on how Booktype named the chapter files in the zip archive.

Steps to reproduce the problem

Create a book in Booktype.

2nd MathML meeting

Published on January 10, 2014.

Note: This post was update in January 29th and we already have the log of #mathml at http://logbot.glob.com.au/?c=mozilla%23mathml.

This is a report about the 2nd Mozilla MathML IRC Meeting and the first one of 2014 (see the announcement here). The topic of the meeting can be found in this PAD (local copy of the PAD <pad.txt>) and the IRC log is here<irc.txt>.

SlimerJS

Published on January 8, 2014.

SlimerJS é um navegador web com suporte a script (isso permite ser utilizado para realização de testes) que utiliza o Gecko como motor de “renderização” (o mesmo motor do Firefox). Este post é uma breve introdução ao SlimerJS seguindo sua documentação.

Instalação

Baixe o SlimerJS:

$ wget http://download.slimerjs.org/v0.9/0.9.0/slimerjs-0.9.0-linux-x86_64.tar.bz2

Descomprir o SlimerJS:

$ tar -xvf slimerjs-0.9.0-linux-x86_64.tar.bz2 

Adicionar o SlimerJS ao PATH.

Testando

$ cat test.js
console.log('SlimerJS funciona.');
slimer.exit()
$ slimerjs test.js
SlimerJS funciona

LaTeX, HTML e Web

Published on January 6, 2014.

LaTeX é uma linguagem de marcação para o sistema de tipografia TeX que foi criado por Leslie Lamport no início dos anos 80. O HTML é uma linguagem de marcação de hyper-texto proposta por Tim Berners-Lee em 1980, especificado e implementado em 1990 (em conjunto com o que viria a ser a World Wide Web).