Commits · 2d53159732b7bbbf3159b838cadae2d28bb0f43a · POTTIER Francois / menhir

26 Oct, 2018 1 commit
- New function [Positions.pmap]. · 2d531597
  POTTIER Francois authored Oct 26, 2018
  
  2d531597
24 Oct, 2018 2 commits
- Remove [Positions.two]. · c2584813
  POTTIER Francois authored Oct 23, 2018
```
It is replaced with [Positions.import] in a singleton list.
```
  c2584813
- Rename [Positions.lex_join] to [Positions.import]. Change its API. Use [$loc]. · 6636a4a7
  POTTIER Francois authored Oct 23, 2018
  
  6636a4a7
03 Jul, 2018 1 commit

Changed the type of [with_poss] to take a pair of positions. · 585a789a

POTTIER Francois authored Jul 03, 2018

This allows its implementation to be simplified.
Also, renamed it to [with_loc].
Updated [fancy_parser] to use [with_loc $loc] everywhere.

585a789a

31 Mar, 2017 1 commit
- Fix violations of UTF-8 in the sources. · c517d2a5
  POTTIER Francois authored Mar 31, 2017
  
  c517d2a5
24 Mar, 2017 1 commit

Changed the license of the Generator from QPL to GPL. · bd7310b9

POTTIER Francois authored Mar 24, 2017

MenhirLib remains under LGPL with a linking exception.
MenhirSdk is considered part of the Generator.
Updated the header of every source file under version control.

bd7310b9

28 Apr, 2016 1 commit
- Remove trailing whitespace. · cc7fc51e
  POTTIER Francois authored Apr 29, 2016
  
  cc7fc51e
14 Oct, 2015 1 commit
- Removed all $Id headers that were still around. · e2177ee0
  POTTIER Francois authored Oct 14, 2015
  
  e2177ee0
24 Sep, 2015 1 commit
- Added [Positions.print]. A debugging utility. · 41a5fc79
  POTTIER Francois authored Sep 24, 2015
  
  41a5fc79
01 Mar, 2013 1 commit

Copying everything to a new trunk directory. · 8e9b54a3

fpottier authored Mar 01, 2013


git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/menhir@320 0f8b5475-4b4e-0410-85a8-ee3154a6bfe7

8e9b54a3