Commits · master · general / stups / Rodin Handbook

Apr 29, 2016
- switch build to pure maven · cbe7eedb
  Sebastian Krings authored 9 years ago
  
  cbe7eedb
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
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
Mar 12, 2013
- fixed two typos · 7d498a2d
  Daniel Plagge authored 12 years ago
  7d498a2d
Jan 11, 2013
- Revert back to r15429 (undo commit 15430 on wrong repository) · 6847b66a
  Laurent Voisin authored 12 years ago
  6847b66a
Nov 27, 2012
- added index "proof of induction" · 56253bb0
  Daniel Plagge authored 12 years ago
  56253bb0
Nov 14, 2012
- bugfix: removed \hline in the text (\hline must not occur outside of tabular... · 42b00e2e
  Daniel Plagge authored 12 years ago
  42b00e2e
Jul 03, 2012
- bugfix: \text - \testsf · 2dc8d7f6
  Daniel Plagge authored 12 years ago
  2dc8d7f6
Apr 26, 2012
- updated version numbers to rodin 2.5 · 648fe13b
  Lukas Ladenberger authored 13 years ago
  648fe13b
- removed building plugin zip file from build script (migrated to gradle) · 153c7104
  Lukas Ladenberger authored 13 years ago
  153c7104
Apr 25, 2012
- adapted build file to rodin 2.5 · f87d6c8d
  Lukas Ladenberger authored 13 years ago
  f87d6c8d
- adapted version number to rodin 2.5 · 9fed23de
  Lukas Ladenberger authored 13 years ago
  9fed23de
- Added some information on proof simplifying. · 48966b28
  Thomas Muller authored 13 years ago
  48966b28