pipstransfo.git
10 years agoRemove superflous empty line
Vivien Maisonneuve [Wed, 12 Feb 2014 16:43:58 +0000 (17:43 +0100)]
Remove superflous empty line

10 years agofixed bad UTF-8 encoding in bib file
Pierre Guillou [Wed, 12 Feb 2014 16:38:20 +0000 (17:38 +0100)]
fixed bad UTF-8 encoding in bib file

10 years agorefs.bib renamed into pipstransfo.bib
Vivien Maisonneuve [Wed, 12 Feb 2014 14:34:29 +0000 (15:34 +0100)]
refs.bib renamed into pipstransfo.bib

10 years agoSentence-based wrapping
Vivien Maisonneuve [Wed, 12 Feb 2014 14:31:42 +0000 (15:31 +0100)]
Sentence-based wrapping

10 years agosome transformations in FI's pdf are advertised as not supported by PIPS
Pierre Guillou [Wed, 12 Feb 2014 14:22:27 +0000 (15:22 +0100)]
some transformations in FI's pdf are advertised as not supported by PIPS

10 years agoEmpty lines after sections
Vivien Maisonneuve [Tue, 11 Feb 2014 17:16:09 +0000 (18:16 +0100)]
Empty lines after sections

10 years agoAdd missing line between items
Vivien Maisonneuve [Tue, 11 Feb 2014 16:58:44 +0000 (17:58 +0100)]
Add missing line between items

10 years agoUse \newcommand instead of \def
Vivien Maisonneuve [Tue, 11 Feb 2014 16:43:49 +0000 (17:43 +0100)]
Use \newcommand instead of \def

10 years agoRemove unnecessary empty line in Makefile
Vivien Maisonneuve [Tue, 11 Feb 2014 16:29:11 +0000 (17:29 +0100)]
Remove unnecessary empty line in Makefile

10 years agoMath à la LaTeX
Vivien Maisonneuve [Tue, 11 Feb 2014 15:32:19 +0000 (16:32 +0100)]
Math à la LaTeX

10 years agoMacro \PIPS
Vivien Maisonneuve [Tue, 11 Feb 2014 15:31:22 +0000 (16:31 +0100)]
Macro \PIPS

10 years agoPips -> PIPS
Vivien Maisonneuve [Tue, 11 Feb 2014 15:30:25 +0000 (16:30 +0100)]
Pips -> PIPS

10 years agoRemove extra spaces at EOL
Vivien Maisonneuve [Tue, 11 Feb 2014 15:29:43 +0000 (16:29 +0100)]
Remove extra spaces at EOL

10 years agoordering of sguelton transformations
Pierre Guillou [Tue, 11 Feb 2014 15:24:09 +0000 (16:24 +0100)]
ordering of sguelton transformations

10 years agoadded references
Pierre Guillou [Tue, 11 Feb 2014 14:11:34 +0000 (15:11 +0100)]
added references

10 years agolisted all transformations from our 2 sources
Pierre Guillou [Tue, 11 Feb 2014 13:55:53 +0000 (14:55 +0100)]
listed all transformations from our 2 sources

10 years agounwanted merge with Vivien
Pierre Guillou [Tue, 11 Feb 2014 12:36:52 +0000 (13:36 +0100)]
unwanted merge with Vivien

10 years agoinitial ordering of the transforms
Pierre Guillou [Tue, 11 Feb 2014 12:24:36 +0000 (13:24 +0100)]
initial ordering of the transforms

10 years agoUsing latin-modern fonts
Vivien Maisonneuve [Tue, 11 Feb 2014 12:17:14 +0000 (13:17 +0100)]
Using latin-modern fonts

10 years agoFix bad line break
Vivien Maisonneuve [Tue, 11 Feb 2014 12:16:19 +0000 (13:16 +0100)]
Fix bad line break

10 years agoFix dash length in title
Vivien Maisonneuve [Tue, 11 Feb 2014 10:52:27 +0000 (11:52 +0100)]
Fix dash length in title

10 years agosublime-project file
Vivien Maisonneuve [Tue, 11 Feb 2014 10:50:38 +0000 (11:50 +0100)]
sublime-project file

10 years agoadded content of Serge Guelton's thesis transformations glossary
Pierre Guillou [Tue, 11 Feb 2014 10:42:57 +0000 (11:42 +0100)]
added content of Serge Guelton's thesis transformations glossary

10 years agoemacs temporary files
Pierre Guillou [Tue, 11 Feb 2014 10:12:04 +0000 (11:12 +0100)]
emacs temporary files

10 years agoadded bibtex
Pierre Guillou [Tue, 11 Feb 2014 10:11:46 +0000 (11:11 +0100)]
added bibtex

10 years agoColorization script
Vivien Maisonneuve [Tue, 11 Feb 2014 09:45:45 +0000 (10:45 +0100)]
Colorization script

10 years agoMakefile & al.
Vivien Maisonneuve [Tue, 11 Feb 2014 09:37:21 +0000 (10:37 +0100)]
Makefile & al.

10 years agoFirst commit
Vivien Maisonneuve [Tue, 11 Feb 2014 09:28:35 +0000 (10:28 +0100)]
First commit