Commits · 2a9bb4c0222a0e593b7faa33e8b9243fb74af063 · general / stups / Rodin Handbook

Apr 26, 2016
- yet another dependency · 2a9bb4c0
  Sebastian Krings authored 9 years ago
  
  2a9bb4c0
- add dependency · 03d264e9
  Sebastian Krings authored 9 years ago
  
  03d264e9
- use builddir env variable · 03605931
  Sebastian Krings authored 9 years ago
  
  03605931
- go to checkout directory · 5213b96e
  Sebastian Krings authored 9 years ago
  
  5213b96e
- build step needs sudo · 50a3e5d5
  Sebastian Krings authored 9 years ago
  
  50a3e5d5
- install plastex · 4c2bc372
  Sebastian Krings authored 9 years ago
  
  4c2bc372
- install texlive-full · 84a227f5
  Sebastian Krings authored 9 years ago
  
  84a227f5
- use java as base language for travis build · 0be1a987
  Sebastian Krings authored 9 years ago
  
  0be1a987
- try travis build · 4f731e97
  Sebastian Krings authored 9 years ago
  
  4f731e97
Nov 10, 2015
- Fixed typo. · e157bcd1
  dobrikov authored 9 years ago
  
  e157bcd1
Feb 19, 2015
- fix typo · 49fb3fc9
  Sebastian Krings authored 10 years ago
  
  49fb3fc9
Feb 10, 2015
- add Camille comment about syntax · 5538e216
  Michael Leuschel authored 10 years ago
  
  5538e216
- add paragraph about Camille's different syntax · 5a37fda2
  Michael Leuschel authored 10 years ago
  
  5a37fda2
Feb 05, 2015
- Merge remote-tracking branch 'git-svn' · 7d5223c6
  Sebastian Krings authored 10 years ago
  
  7d5223c6
- Initial commit · 7a8c4ba7
  Sebastian Krings authored 10 years ago
  
  7a8c4ba7
Dec 04, 2014
- update · 3f79334f
  Lukas Ladenberger authored 10 years ago
  3f79334f
- added advance logo to handbook · 306e8ffc
  Lukas Ladenberger authored 10 years ago
  306e8ffc
Jun 13, 2014
- Hardcopy · f102cb32
  Michael Jastram authored 11 years ago
  f102cb32
Mar 20, 2014
- Various fixes (hyphenation, etc.) · 7b56e49f
  Michael Jastram authored 11 years ago
  7b56e49f
- Image clean-up for printing · 01220c25
  Michael Jastram authored 11 years ago
  01220c25
- Flattened images for printing · 3d27464a
  Michael Jastram authored 11 years ago
  3d27464a
Feb 17, 2014
- Fixes on Handbook · f81cf2aa
  Michael Jastram authored 11 years ago
  f81cf2aa
Feb 03, 2014
- Version 2.8 · 8cc66cda
  Michael Jastram authored 11 years ago
  8cc66cda
Oct 10, 2013
- added grayscale version of ProR logo · b5801105
  Daniel Plagge authored 11 years ago
  b5801105
- fixed image sizes for print · 6806771e
  Daniel Plagge authored 11 years ago
  6806771e
- removed not needed pagebreaks · 08a774ec
  Daniel Plagge authored 11 years ago
  08a774ec
- c · f1269c9d
  Daniel Plagge authored 11 years ago
  f1269c9d
- added reference to Stefan Hallerstede's proof obligation paper · 1e3fd58e
  Daniel Plagge authored 11 years ago
  1e3fd58e
- - added acknowledgement to Abrial and the ETH · cd331c87
  Daniel Plagge authored 11 years ago
  cd331c87
- fixed the ProR logo in print · bb6a7438
  Daniel Plagge authored 11 years ago
  bb6a7438
- increased margins for print · 7e4b1daf
  Daniel Plagge authored 11 years ago
  7e4b1daf
- fix: "the rule is applicable ..." -> "the rule is not applicable" · b07d98f6
  Daniel Plagge authored 11 years ago
  b07d98f6
- green check -> green mark · 2bc13f57
  Daniel Plagge authored 11 years ago
  2bc13f57
- fixed typo: "import the archive file to you" -> "... your" · f8108fa1
  Daniel Plagge authored 11 years ago
  f8108fa1
- fixed typo (sets_peds_go -> set_ped_go) · 6e93ae82
  Daniel Plagge authored 11 years ago
  6e93ae82
- moved index entries into table · 3ae0c6ee
  Daniel Plagge authored 11 years ago
  3ae0c6ee
- added copyright notice (for print) · 0b9e0b78
  Daniel Plagge authored 11 years ago
  0b9e0b78
Sep 24, 2013
- ProR Chapter · c17f573e
  Michael Jastram authored 11 years ago
  c17f573e
Aug 12, 2013
- Fixed bug #636: Copy'n Paste-error in the definition of range restriction, · 34242eef
  Daniel Plagge authored 11 years ago
  34242eef
- fixed typo in warning definition (pdf build was broken) · 2cadaed7
  Daniel Plagge authored 11 years ago
  2cadaed7